Skip to content

Commit

Permalink
Update quirks.nix
Browse files Browse the repository at this point in the history
  • Loading branch information
yvan-sraka committed May 7, 2024
1 parent e267f9a commit f9b03bf
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions quirks.nix
Original file line number Diff line number Diff line change
Expand Up @@ -26,12 +26,12 @@
else
PREFIX="Hint:"
fi
if [ "$GITHUB_ACTIONS" = "true" ] || [ "$${CODESPACE_TOKEN+x}" = "x" ]; then
if [ "$GITHUB_ACTIONS" = "true" ] || [ "$'' + ''{CODESPACE_TOKEN+x}" = "x" ]; then
echo "$PREFIX to reproduce this environment locally, use either:" \
"\`nix develop github:input-output-hk/devx#${flavor}\`, or" \
"\`docker run -it -v \$(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.${flavor}\`"
fi
if [ "$${CODESPACE_TOKEN+x}" = "x" ]; then
if [ "$'' + ''{CODESPACE_TOKEN+x}" = "x" ]; then
echo "Quirks:"
echo -e "\tThe Haskell VSCode extension might ask you \"How do you want the extension to manage/discover HLS and the relevant toolchain?\""
echo -e "\tChoose \"Manually via PATH\", not \"Automatically via GHCup\""
Expand Down

0 comments on commit f9b03bf

Please sign in to comment.