summaryrefslogtreecommitdiffstats
path: root/tools/umount-live
diff options
context:
space:
mode:
Diffstat (limited to 'tools/umount-live')
-rw-r--r--tools/umount-live48
1 files changed, 48 insertions, 0 deletions
diff --git a/tools/umount-live b/tools/umount-live
new file mode 100644
index 0000000..098c82e
--- /dev/null
+++ b/tools/umount-live
@@ -0,0 +1,48 @@
+#!/bin/bash
+#
+### BEGIN INIT INFO
+# Provides: umount-live
+# Default-Stop: 0 6
+# Should-Stop: $remote_fs
+# Short-Description: Umounts live-system-specific mountpoints on
+#halt/reboot
+# Description: This service umounts live-system-specific mountpoints
+#on halt/reboot.
+### END INIT INFO
+
+mypath=$_
+
+case "$1" in
+ *start)
+ ;;
+ *stop)
+ exit
+ ;;
+ *)
+ gprintf "Usage: %s\n" "$(basename $0) {start}"
+ exit 1
+ ;;
+esac
+
+roottype=`awk '$2 == "/" { print $3 }' /etc/fstab`
+
+if [ "$roottype" != unionfs ]; then
+ # disable self during first halt when installed
+ chkconfig --del $(basename $0)
+ #rm -f $mypath
+ exit
+fi
+
+maybe_umount() {
+ eval d=\$$#
+ [ -e $d ] && umount $@
+}
+
+maybe_umount -l /live/distrib
+maybe_umount -l /live/memory
+maybe_umount -l /live/system
+maybe_umount -l /live/media
+
+maybe_umount /var/lib/rpm
+maybe_umount /tmp/rpm/real
+maybe_umount /tmp/rpm