Skip to content

Commit

Permalink
Deal with whitespace in paths
Browse files Browse the repository at this point in the history
  • Loading branch information
@fingolfin
fingolfin committed Sep 3, 2024
1 parent 3de5eb8 commit c24b6ec
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tools/gap-prep-runtime
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit c24b6ec

Please sign in to comment.