Я с вами абсолютно согласен, сам я тоже против такого решения. Но другого выхода нет. Проблема в том, что консоль при выполнении
ls -l /mnt/dev
просто зависает до тех пор, пока не выполнишь
sudo umount -r /mnt
вместо того, чтобы просто выдать, например, ошибку, что директория недоступна без...