projects
/
live-boot-grml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b7f0254
)
Removing mountpoint if no persistence layer is found on a device.
author
Gaudenz Steinlin
<gaudenz@debian.org>
Wed, 26 Sep 2012 11:38:39 +0000
(13:38 +0200)
committer
Daniel Baumann
<daniel@debian.org>
Wed, 26 Sep 2012 11:38:39 +0000
(13:38 +0200)
scripts/boot/9990-misc-helpers.sh
patch
|
blob
|
history
diff --git
a/scripts/boot/9990-misc-helpers.sh
b/scripts/boot/9990-misc-helpers.sh
index
117876f
..
4429c33
100755
(executable)
--- a/
scripts/boot/9990-misc-helpers.sh
+++ b/
scripts/boot/9990-misc-helpers.sh
@@
-911,7
+911,9
@@
probe_for_file_name ()
then
echo ${ret}
else
+ # unmount and remove mountpoint
umount ${backing} > /dev/null 2>&1 || true
+ rmdir ${backing} > /dev/null 2>&1 || true
fi
}