File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 26
26
else
27
27
PREFIX="Hint:"
28
28
fi
29
- if [ "$GITHUB_ACTIONS" = "true" ] || [ "$$ {CODESPACE_TOKEN+x}" = "x" ]; then
29
+ if [ "$GITHUB_ACTIONS" = "true" ] || [ "$'' + '' {CODESPACE_TOKEN+x}" = "x" ]; then
30
30
echo "$PREFIX to reproduce this environment locally, use either:" \
31
31
"\`nix develop github:input-output-hk/devx#${ flavor } \`, or" \
32
32
"\`docker run -it -v \$(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.${ flavor } \`"
33
33
fi
34
- if [ "$$ {CODESPACE_TOKEN+x}" = "x" ]; then
34
+ if [ "$'' + '' {CODESPACE_TOKEN+x}" = "x" ]; then
35
35
echo "Quirks:"
36
36
echo -e "\tThe Haskell VSCode extension might ask you \"How do you want the extension to manage/discover HLS and the relevant toolchain?\""
37
37
echo -e "\tChoose \"Manually via PATH\", not \"Automatically via GHCup\""
You can’t perform that action at this time.
0 commit comments