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

cd /home/vaa2/prakti/1997_hdf/
foreach file ( sn???????_dat.hdf )
#set file1="$file:r"
#mv -i "$file" "$file1.hdf"
set file1=`echo $file | cut -c1-9`
mv $file ${file1}.hdf 
end
