From a0b3ed02ebfcad7878a595b97de37da897f61452 Mon Sep 17 00:00:00 2001
From: root <sauer@ient.rwth-aachen.de>
Date: Tue, 13 Dec 2016 10:44:38 +0000
Subject: [PATCH] added /isolinux for search path for mindstorms.dir. For the
case that grub is used to boot iso file directly
---
tools/rc.local.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/rc.local.sh b/tools/rc.local.sh
index 4251747..cb40d38 100755
--- a/tools/rc.local.sh
+++ b/tools/rc.local.sh
@@ -57,7 +57,7 @@ done
# Try to find mindstorms.dir directory (also on boot medium)
if ! mountpoint -q /home/mindstorms/work; then
echo "Looking for mindstorms.dir directory (also on boot medium) ..."
- for DIR in /cdrom/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
+ for DIR in /cdrom/mindstorms.dir /isodevice/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
MOUNTPOINT="${DIR%/*}"
[ -d "$DIR" ] || continue
echo "Found mindstorms.dir at ${DIR}. Re-mounting as writable ..."
--
GitLab