# Run the following command if you want to add .ext extension to the config files 
# (assuming you are currently in the directory where ccsat is):

cd config; ls | awk '{print $1 " " $1}' | sed -e 's/$/.txt/' -e 's/^/mv /' \
 > tmp.sh; sh tmp.sh; rm tmp.sh; cd ..


# Run the following to change dots in file names, other than the one in ".txt", 
# to sth like underscores (e.g., "192.168.0.1.txt" should be renamed as 
# "192_168_0_1.txt" -- this is needed in order to run ccsat successfully!):

cd config
oldfiles=`ls *.txt`
for oldfile in $oldfiles
do
newfile=`echo $oldfile | sed -e 's/\./_/g' | sed -e 's/_txt/\.txt/'`
mv $oldfile $newfile
done
cd ..