sh_ts100_linux.sh: Fix 'Device or resource busy' errors due to rmdir without umounting

This commit is contained in:
ysard
2022-01-06 04:45:44 +01:00
parent a23c147125
commit 2505e30f86

View File

@@ -69,7 +69,7 @@ mount_ts100() {
}
umount_ts100() {
if ! mountpoint "$DIR_TMP" > /dev/null && sudo umount "$DIR_TMP"; then
if ! (mountpoint "$DIR_TMP" > /dev/null && sudo umount "$DIR_TMP"); then
echo "Failed to unmount $DIR_TMP"
exit 1
fi