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   #
# ===========+++++++++++++++++++++++++++++++++=========== #