diff options
| author | Jonathan Bauer | 2013-04-03 15:39:20 +0200 |
|---|---|---|
| committer | sr | 2013-04-12 19:11:40 +0200 |
| commit | 9ee2ccd9d85c865954bf52e2013ab57d8c2f0374 (patch) | |
| tree | 6cd743a8ad082d5456c2660ff989041e51b7de35 /data/disk-tmp.sh | |
| parent | Size calculation fixed (diff) | |
| download | tm-scripts-9ee2ccd9d85c865954bf52e2013ab57d8c2f0374.tar.gz tm-scripts-9ee2ccd9d85c865954bf52e2013ab57d8c2f0374.tar.xz tm-scripts-9ee2ccd9d85c865954bf52e2013ab57d8c2f0374.zip | |
fixes for disk scripts
Diffstat (limited to 'data/disk-tmp.sh')
| -rwxr-xr-x[-rw-r--r--] | data/disk-tmp.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/data/disk-tmp.sh b/data/disk-tmp.sh index 842d8230..4378c45c 100644..100755 --- 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 |
