diff options
Diffstat (limited to 'scripts/mount-user.sh')
| -rw-r--r-- | scripts/mount-user.sh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/scripts/mount-user.sh b/scripts/mount-user.sh index d761431..2210516 100644 --- a/scripts/mount-user.sh +++ b/scripts/mount-user.sh @@ -4,7 +4,17 @@ PATH=/bin:/usr/bin:/sbin:/usr/sbin USER_DISK=`ls /dev/disk/by-partlabel/ | grep -i user` USER_MNT=/opt/usr -mount | grep "/opt/usr" +if [ -f /tmp/.lazy_mount ] +then +rm -f /tmp/.lazy_mount +fi + +if [ -f /run/.unlock_mnt ] +then +rm -f /run/.unlock_mnt +fi + +mount | grep "$USER_MNT " > /dev/null if [ $? = "0" ] then @@ -12,4 +22,5 @@ touch /run/.unlock_mnt else /usr/bin/mount PARTLABEL=$USER_DISK $USER_MNT touch /run/.unlock_mnt +chsmack -a "_" $USER_MNT fi |