fix bug that deletes work directory on fully persistent USB drives
Compare changes
+ 4
− 1
@@ -19,6 +19,7 @@ sudo chown -R mindstorms:mindstorms ${DOCUMENTATION_DIR}
@@ -45,6 +46,7 @@ shopt -u globstar # disallow '**' path expansion
@@ -55,6 +57,7 @@ for PART in /dev/disk/by-id/*; do
@@ -134,7 +137,7 @@ for SWP in /mnt/localfs/*/mindstorms.swp; do