#! /bin/sh
# USE THIS FOR BATCH FILE RENAMING

#for i in *.txt
#for i in *.gif
#for i in *MaxBIPS*
#for i in *POWERTRACE*
for i in *MaxBIPS*

do
#   mv $i `echo "$i" | awk -FBBV '{ printf("%sBBV32%s", $1, $2); }'`
#   mv $i `echo "$i" | awk -F. '{ printf("%s_eip.%s", $1, $2); }'`
#    mv "$i" `echo "$i" | awk -F" " '{ printf("%s%s", $1, $2); }'`
#    mv $i `echo "$i" | awk -F"_" '{ printf("%s.%s", $1, $3); }' | awk -F"." '{ printf("%s_%s_POWERTRACE.txt", $2, $3); }'`
    mv $i `echo "$i" | awk -F"_" '{ printf("%s.%s_%s_%s", $1, $3, $4, $5); }' | awk -F"." '{ printf("%s_%s.%s.%s", $2, $3, $4, $5); }'`
done