#!/bin/csh -f
# Simple extension renamer

if ($#argv != 2) then
echo "Usage: $0 extension1 extension2"
exit
endif

foreach oldfile (*$1)
set newfile = `echo $oldfile | sed 's/'$1'$/'$2'/'`
echo "Renaming $oldfile to $newfile"
mv  $oldfile $newfile
end