diff options
| author | Marco Amadori <amadorim@vdavda.com> | 2008-05-28 10:34:35 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:47:59 +0100 |
| commit | 8e528a99632ef0ae43826dd7a487c4a0c12010a6 (patch) | |
| tree | 3866f280f063b920876afa949ee1788a74b7caca /bin | |
| parent | f02ff60da1a862bb4eb0631cb9b7e527ffa1f32e (diff) | |
| download | live-boot-8e528a99632ef0ae43826dd7a487c4a0c12010a6.tar.gz live-boot-8e528a99632ef0ae43826dd7a487c4a0c12010a6.zip | |
Calling live-snapshot now produces an output file.
* Invoking live-snapshot without parameters now produces an output
file useful to be copied on a writable media as intended.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/live-snapshot | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bin/live-snapshot b/bin/live-snapshot index 12c79b8..c50bcc0 100755 --- a/bin/live-snapshot +++ b/bin/live-snapshot @@ -313,8 +313,13 @@ Do_snapshot () Clean () { - umount "${MOUNTP}" - rmdir "${MOUNTP}" + if echo "${DEST}" | grep -q "${MOUNTP}" + then + echo "${DEST} is present on ${MOUNTP}, therefore no automatic unmounting the latter." > /dev/null 1>&2 + else + umount "${MOUNTP}" + rmdir "${MOUNTP}" + fi } Main () |