# Last modified on Thu Aug 21 12:26:49 1986 by stolfi
#---------------------------------------------------
# Safe "rm"
# Usage: d <file> ...
#
# Renames each <file> to ,,<file> 
# The midnight skulker will remove it after a while; until then,
# you can get it back by saying und ,,<file> ...
#----------------------------------------------------------
foreach infile ($*)
  if (-f $infile == 0) then
    echo $infile is not a file\!
    break
  endif
  if ("$infile:h" != "$infile") then
    set curf = "$infile:h/$infile:t"
    set newf = "$infile:h/,,$infile:t"
  else
    set curf = "$infile"
    set newf = ",,$infile"
  endif
  echo "$curf -> $newf"
  mv $curf $newf
end
echo "Done."