Merge pull request #9 from gap-system/mh/whitespace

Deal with whitespace in paths
gap-system · Sep 4, 2024 · ce788c1 · ce788c1
2 parents 3de5eb8 + c24b6ec
commit ce788c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/gap-prep-runtime b/tools/gap-prep-runtime
@@ -23,5 +23,5 @@ rm -f ../../run-gap.sh
 
 echo "#!/usr/bin/env bash" > ../../run-gap.sh
 echo "stty susp undef # disable ctrl-z" >> ../../run-gap.sh
-echo 'cd $(cygpath --mydocs)' >> ../../run-gap.sh
-echo "${GAP_ROOT}/gap" >> ../../run-gap.sh
+echo 'cd "$(cygpath --mydocs)"' >> ../../run-gap.sh
+echo "\"${GAP_ROOT}/gap\"" >> ../../run-gap.sh