No such file or directory

calendar 2004-06-09 · 1 min lesen · system wissen

Was ist das:

:~/mozilla/mozilla/dom/public/idl/core # ls -al
ls: nsIDOM3Documentidl: No such file or directory
total 0
drwxr-xr-x    2 root     root           88 Jun  9 12:52 .
drwxr-xr-x    3 root     root           72 Jun  9 13:02 ..

und das:

:~/mozilla/mozilla/dom/public/idl # rm -rf core/
rm: cannot remove directory `core/': Directory not empty

und dann das:

:~/mozilla/mozilla/dom/public/idl # find .
.
./core
./core/nsIDOM3Documentidl

Wie löscht man so eine Datei?