Hmmm.  You could try getting the inode number via

ls -i

Then

find . -xdev -inum <inode_number> -exec rm -f {} \;


D

On Mon, 6 Mar 2000, der.hans wrote:

> Date: Mon, 6 Mar 2000 11:57:04 -0700 (MST)
> From: "der.hans" <PLUGd@LuftHans.com>
> Reply-To: plug-discuss@lists.PLUG.phoenix.az.us
> To: quatsch <PLUG-discuss@lists.PLUG.phoenix.az.us>
> Subject: removing devs
> 
> moin, moin,
> 
> is there a magic incantation to remove device files?
> 
> "rm -f" doesn't work and MAKEDEV doesn't recognize the dev files I'm
> trying to get rid of. I'm not even sure they're supposed to be dev files.
> 
> c--xr--r-x    1 25939    26226     97, 101 Apr  3  1987 Databases
> b--srwS---    1 31087    29728    108, 103 Dec  3  2023 Editors
> 
> I've worked around it by moving the parent dir out of the way...
> 
> ciao,
> 
> der.hans
> -- 
> # +++++++++++=================================+++++++++++ #
> #  der.hans@LuftHans.com                  www.excelco.com #
> #            http://home.pages.de/~lufthans/              #
> #   I'm not anti-social, I'm pro-individual. - der.hans   #
> # ===========+++++++++++++++++++++++++++++++++=========== #
> 
> 
> _______________________________________________
> Plug-discuss mailing list  -  Plug-discuss@lists.PLUG.phoenix.az.us
> http://lists.PLUG.phoenix.az.us/mailman/listinfo/plug-discuss
>