diff options
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 |