ฉันมีหลายไดเรกทอรีที่ติดตั้งผ่านsshfs บางครั้งฉันถูกตัดการเชื่อมต่อจากเซิร์ฟเวอร์ (ไม่สามารถกำหนดได้โดยฉัน) ฉันมักจะติดไดเรกทอรีเช่นนี้
sshfs user@server.example.com:/home/user /mnt/example
เมื่อเซิร์ฟเวอร์ยกเลิกการเชื่อมต่อระบบย่อย sshfs ไม่ได้ถอนการติดตั้ง/เพิ่มไดเรคทอรี แต่แทนที่จะล็อคไม่สามารถเข้าถึงได้ mount
ภูเขาก็ยังคงมองเห็นได้เมื่อพิมพ์ เมื่อฉันพิมพ์
ls /mnt/example
กระบวนการได้รับการล็อค (เช่นCtrl+ cไม่ช่วย) ดังนั้นฉันทำ
sudo umount -l /mnt/example
# find pid of corresponding process:
ps aux | grep example.com
kill -9 <pid of locked sshfs process>
มีวิธีที่ดีกว่าในการจัดการกับสิ่งนี้หรือไม่? เห็นได้ชัดว่าsshfsควรจะทำumountและทำความสะอาด ... นึกคิดมันจะเชื่อมต่อโดยอัตโนมัติ