Saya memiliki beberapa direktori yang diinstal melalui sshfs . Saya kadang-kadang mendapatkan terputus dari server (tidak dapat dikonfigurasi oleh saya). Saya biasanya memasang direktori seperti ini
sshfs user@server.example.com:/home/user /mnt/example
Ketika server terputus, subsistem sshfs tidak umount / membebaskan direktori tetapi justru menguncinya tidak dapat diakses. Mount masih terlihat saat mengetik mount
. Saat saya mengetik
ls /mnt/example
proses terkunci (juga Ctrl+ ctidak membantu). Karena itu saya lakukan
sudo umount -l /mnt/example
# find pid of corresponding process:
ps aux | grep example.com
kill -9 <pid of locked sshfs process>
Apakah ada cara yang lebih baik untuk menghadapinya? Jelas sshfs harus melakukan umount dan membersihkan ... Idealnya itu akan terhubung kembali secara otomatis.