diff options
| author | Iru Cai <mytbk920423@gmail.com> | 2016-08-10 20:36:36 +0800 |
|---|---|---|
| committer | Iru Cai <mytbk920423@gmail.com> | 2016-08-10 20:36:36 +0800 |
| commit | a8dceef3fe552a90578e033eceb21390f785cb83 (patch) | |
| tree | af75b9b9ddb3e2dbe3407ba2976fa75eebbedc92 | |
| parent | 204e6786b2e4633982560c8cb590e8ae7d7c9fa6 (diff) | |
| download | liveusb-builder-a8dceef3fe552a90578e033eceb21390f785cb83.tar.xz | |
try to umount first if the iso mount point is mounted
| -rw-r--r-- | functions.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/functions.sh b/functions.sh index 8af5f07..65bf6fb 100644 --- a/functions.sh +++ b/functions.sh @@ -65,6 +65,10 @@ download_iso() { } mount_iso() { + if findmnt "$ISOMNT" > /dev/null + then + umount_iso + fi udevil mount "isofiles/$ISOFILE" "$ISOMNT" } |