diff options
| author | Jonathan Bauer | 2013-11-26 13:59:36 +0100 |
|---|---|---|
| committer | Jonathan Bauer | 2013-11-26 13:59:36 +0100 |
| commit | b9fbb072e571f018ddef58c5b9a6051536ace729 (patch) | |
| tree | d988626c0174d518cbd6c6b338e337de17ff3486 /remote/modules | |
| parent | [pam-freiburg] create simply home directory for demo user. (diff) | |
| download | tm-scripts-b9fbb072e571f018ddef58c5b9a6051536ace729.tar.gz tm-scripts-b9fbb072e571f018ddef58c5b9a6051536ace729.tar.xz tm-scripts-b9fbb072e571f018ddef58c5b9a6051536ace729.zip | |
[vmware] added Xreset script to properly unmount tmp directories created by vmware
Diffstat (limited to 'remote/modules')
| -rw-r--r-- | remote/modules/vmware/data/etc/X11/Xreset.d/vmware | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/remote/modules/vmware/data/etc/X11/Xreset.d/vmware b/remote/modules/vmware/data/etc/X11/Xreset.d/vmware new file mode 100644 index 00000000..c453aafd --- /dev/null +++ b/remote/modules/vmware/data/etc/X11/Xreset.d/vmware @@ -0,0 +1,10 @@ +# +# VMWare cleanup +# + +VMWARE_TMP_DIRS="$(cat /proc/mounts | grep "/tmp/vmware-" | awk -F " " '{print $1}')" +for DIR in $VMWARE_TMP_DIRS; do + umount -l $DIR || echo "could not unmount." +done + +exit 0 |