Skip to content
Snippets Groups Projects

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

Merged Dominik Mehlem requested to merge dev_ubuntu20.04_rclocal into master
1 file
+ 3
1
Compare changes
  • Side-by-side
  • Inline
+ 3
1
@@ -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 ..."
Loading