etc/profile.d/sys.sh

diff --git a/etc/profile.d/sys.sh b/etc/profile.d/sys.sh
index 8177840f49704d93eb0ccdafe9f07811dd4b66e4..4a893aadf169d22f0b04b765fe5451c1935df142 100644 (file)
--- a/etc/profile.d/sys.sh
+++ b/etc/profile.d/sys.sh
@@ -246,8 +246,15 @@ sys_temperatures() {
        #awk '{ count++; sum+=$1 } END {printf("%.1f",sum/count/1000)}' /sys/class/thermal/thermal_zone*/temp
 }
 
+sys_umount_dir() {
+       sys_mount_dir --unmount $@
+}
+
 sys_mount_dir() {
-       local usage="Usage: sys_mount_dir DIR"
+       local usage="Usage: sys_mount_dir [--umount] DIR"
+
+       local umount=0
+       [ "$1" = "--unmount" ] && umount=1 && shift
 
        local dir=${1:?$usage}
        [ ! -d "$dir" ] && echo "$usage" && return 1
@@ -257,7 +264,13 @@ sys_mount_dir() {
                -o "$real_dir" = "$(pwd)" \
        ] && echo "Directory not allowed: $dir ( $real_dir )" && return 1
 
-       for i in proc dev dev/pts sys; do
-               echo mount -o bind /$i $dir/$i
+       for i in proc dev dev/pts dev/shm sys; do
+               [ -d "/$i" -a -d "$dir/$i" ] || continue
+
+               if [ "$umount" = "0" ]; then
+                       echo mount -v -o bind /$i $dir/$i
+               else
+                       echo umount -v $dir/$i
+               fi
        done
 }