projects / live-boot-grml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b35b23) | patch
Handling already mounted persistence backing media correctly.
authorTails developers <amnesia@boum.org>
Fri, 7 Dec 2012 21:29:15 +0000 (22:29 +0100)
committerDaniel Baumann <daniel@debian.org>
Fri, 7 Dec 2012 21:32:21 +0000 (22:32 +0100)
commit389a479ceda3e7dac264b4b89c303e48edc7f763
tree100b4f044d82cea06d238998397121aac486cbedtree
parent7b35b230c870c6d8f3baf1ce2d5a56b40507afbbcommit | diff
Handling already mounted persistence backing media correctly.

I.e. treat the case where a backing media already had been mounted in
the expected place like a success (by printing the mount dir). This
doesn't fix any bug in live-boot, but it will come in handy for the
(soon-to-come) script for activating custom persistence in user-space.

While we're at it, document this function.
scripts/boot/9990-misc-helpers.sh diff | blob | history
Grml's version of live-boot