Ugly file name

[Juergen Wagner]

[Sorry for rising this topic again...]

In article <105096 at sun.Eng.Sun.COM> jackh at sun.UUCP (John Hevelin) writes:
> ...[ways of deleting files]...

Several alternatives have been suggested to uniquely identify the file
to be removed. However, there are cases in which `rm' won't do the job
of deleting the file because the shell which is used to run `rm' may
strip the eighth bit off characters [some shells do]. In such cases, it
is impossible to remove the file with `rm'. You could do a clri and fsck
but that is a little bit of overkill. A short C program will do (see my
other posting).

-- 
Juergen Wagner		   			gandalf at csli.stanford.edu
						 wagner at arisia.xerox.com