From 9ee2ccd9d85c865954bf52e2013ab57d8c2f0374 Mon Sep 17 00:00:00 2001
From: Jonathan Bauer
Date: Wed, 3 Apr 2013 15:39:20 +0200
Subject: fixes for disk scripts

---
 data/disk-tmp.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 data/disk-tmp.sh

(limited to 'data/disk-tmp.sh')

diff --git a/data/disk-tmp.sh b/data/disk-tmp.sh
old mode 100644
new mode 100755
index 842d8230..4378c45c
--- a/data/disk-tmp.sh
+++ b/data/disk-tmp.sh
@@ -14,10 +14,11 @@
 #############################################################################
 
 # Check if ID44 is available by analysing /etc/fstab for appropriate entry
-if grep -qe "/dev/.*/tmp" /etc/fstab 2>/dev/null ; then
+if cat /proc/mounts | grep -qe "/dev/.*/tmp" ; then
   mkdir -p /run/tmp
   mv /tmp/* /run/tmp
-  mount --move /run/mount/tmp /tmp
+  mount --bind /run/mount/tmp /tmp
+  umount /run/mount/tmp
   mv /run/tmp/* /tmp
   rmdir /run/tmp
 fi
-- 
cgit v1.2.3-55-g7522