Merge branch 'dev_ubuntu20.04_rclocal' into 'master'

adapt rc.local.sh to work with mindstorms.startup directory

See merge request !14

tools/rc.local.sh

@@ -65,6 +65,7 @@ done
 
 # Mount all partitions read-only
 echo "Mounting all available partitions read-only ..."
+chmod o+rx /mnt
 for PART in /dev/disk/by-id/*; do
 	DEVICE="$( readlink -f "$PART" )"
 	if ! grep -q "^$DEVICE " /etc/mtab; then
@@ -138,7 +139,7 @@ for SWP in /mnt/localfs/*/mindstorms.swp; do
 done
 
 # Remove work directory if not mounted
-if [! mountpoint -q /home/mindstorms/work] && [! PERSISTENT]; then
+if ! mountpoint -q /home/mindstorms/work && ! PERSISTENT; then
 	echo "Removing work directory as no available mountpoint found."
 	rm -rf /home/mindstorms/work
 fi
@@ -163,6 +164,7 @@ for PART in /mnt/localfs/*; do
 	echo "Unmounting ${PART}."
 	umount "$PART" 2>/dev/null
 done
+chmod o-rx /mnt
 
 # HACK: re-enable gnome's automount functionality.
 echo "Re-enabling gnome's automount functionality ..."