liberte@uiucdcsm.cs.uiuc.edu (05/30/88)
Here is my rename script. Dan LaLiberte liberte@a.cs.uiuc.edu uiucdcs!liberte --- #! /bin/csh -f # rename files with a sed command. File names may have spaces in them. if ($#argv < 2) then echo "Usage: rename sed-command file ..." exit (1) endif set command = "$1" shift set noglob while ($#argv > 0) set name = ($argv[1]) shift set newname = `echo "$name" | sed -e "$command"` if ($status != 0) exit 1 echo "mv $name $newname" mv "$name" "$newname" end