Kam eben per mail:
> Werte Cluster-Nutzer und -Nutzerinnen,
>
> derzeit treten vermehrt Probleme mit Verzeichnissen auf, die sich
> von rmdir mit einem Hinweis „directory not empty“ nicht loeschen lassen.
> Derweil zeigt „ls -A“ keinen Inhalt an. Die Ursache ist eine
> bedauerliche Inkonsistenz des Dateisystems.
>
> Wir loeschen diese Verzeichnisse fuer Sie, wenn Sie sie in das
> Verzeichnis .delete_the_undeletable unterhalb Ihres Home- bzw.
> Work-Verzeichnisses verschieben. Also z.B. fuer das Directory
> „foobardir“:
>
> mkdir $HOME/.delete_the_undeletable
> mv foobardir $HOME/.delete_the_undeletable
>
> oder:
>
> mkdir $WORK/.delete_the_undeletable
> mv foobardir $WORK/.delete_the_undeletable