We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2a4bae5 commit ea38315Copy full SHA for ea38315
scripts/install.sh
@@ -60,8 +60,14 @@ main() {
60
echo "export PATH=\"$HOME/bin:\$PATH\"" >> "$shell_profile"
61
echo "Path updated! You may need to restart your shell or run 'source $shell_profile' to refresh your PATH."
62
echo "Run '$exe --help' to get started"
63
+
64
+ # if $GITHUB_PATH is defined, add $HOME/bin to it
65
+ if [ -n "$GITHUB_PATH" ]; then
66
+ echo "$HOME/bin" >> "$GITHUB_PATH"
67
+ fi
68
fi
69
70
71
echo
72
echo "Stuck? Join our Discord at https://wokwi.com/discord"
73
}
0 commit comments