#! /bin/csh -xf
#Umbennungstool: Aendert Files im Format sn19xxxxx_dat.hdf in
#folgendes Format: sn19xxxxx.tdf; Angabe des Pfades!

cd /home/vaa2/prakti/1998_month_tdf/
foreach file ( sn?????? )
#set file1="$file:r"
#mv -i "$file" "$file1.tdf"
set file1=`echo $file | cut -c1-8`
cp $file ${file1}.tdf
rm $file
end
