From 2505e30f86aab9cef9fe02b5d7cf30b80263a49f Mon Sep 17 00:00:00 2001 From: ysard Date: Thu, 6 Jan 2022 04:45:44 +0100 Subject: [PATCH] sh_ts100_linux.sh: Fix 'Device or resource busy' errors due to rmdir without umounting --- Flashing/flash_ts100_linux.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Flashing/flash_ts100_linux.sh b/Flashing/flash_ts100_linux.sh index 7c8aac06..5f3328bb 100755 --- a/Flashing/flash_ts100_linux.sh +++ b/Flashing/flash_ts100_linux.sh @@ -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