summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f02ff60)
* Invoking live-snapshot without parameters now produces an output
file useful to be copied on a writable media as intended.
- 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