Hallo,
Ich habe vor einer Weile versucht Webspace per WebDAV im Dateisystem auf dem RPi einzubinden. Jetzt habe ich im Dateimanager ein nicht funktionierendes Laufwerk - ich nenne es hier GeisterLaufwerk.
Wenn ich im Dateimanager wähle
Gehe zu -> Geräte -> GeisterLaufwerk
wird die Meldung
Das angegebene Verzeichnis »computer:///GeisterLaufwerk.volume« ist ungültig
angezeigt, was so auch richtig ist, da dieser Zugang nicht mehr existiert. Meine Frage ist, wie kann ich diese Webspace-Leiche aus der Anzeige im Dateimanager entfernen? Ich sehe in der .bash_history, dass ich irgendwann das Laufwerk mit
mount /media/GeisterLaufwerk
eingebunden habe. In /etc/fstab sehe ich das hier
proc /proc proc defaults 0 0
PARTUUID=5e3da3da-01 /boot vfat defaults 0 2
PARTUUID=5e3da3da-02 / ext4 defaults,noatime 0 1
# a swapfile is not a swap partition, no line here
# use dphys-swapfile swap[on|off] for that
https://website.tld/dav/GeisterLaufwerk /media/GeisterLaufwerk davfs noauto,user,rw 0 0
Ich habe versucht das, was in der fstab steht, zu verstehen und die Ausführungen hier
https://play-and-more.com/3717-htg-expla…ow-does-it-work bringen mich auf die Idee, dass mein GeisterLaufwerk vermutlich durch ein der beiden PARTUUID-Einträge generiert wird.
Zwei Fragen:
1) Wie kann ich erreichen, dass im Dateimanager kein "GeisterLaufwerk" angezeigt wird?
2) Was wäre zu tun, damit auch in den Konfigurationsdateien auf dem RPi alles zum "GeisterLaufwerk" bereinigt wird?
Antwort auf Frage 1) ist für mich wichtiger, da es unpraktisch ist, dass ein Objekt im Dateimanager an einer prominenten Stelle angezeigt wird, das gar nicht existiert.