Is there a better way to get rid of a file with a '/' in the name
than diddling the directory? "rm -i *" sure doesn't work here!
--
bill davidsen (wedu at ge-crd.arpa)
{uunet | philabs | seismo}!steinmetz!crdos1!davidsen
"Stupidity, like virtue, is its own reward" -me