Skip to content
Snippets Groups Projects

Check $ZDOTDIR in bootstrap script

Merged Will Badart requested to merge wbadart/ghcup-hs:master into master
1 file
+ 5
1
Compare changes
  • Side-by-side
  • Inline
@@ -403,7 +403,11 @@ download_ghcup() {
find_shell() {
case $SHELL in
*/zsh) # login shell is zsh
GHCUP_PROFILE_FILE="$HOME/.zshrc"
if [ -n "$ZDOTDIR" ]; then
GHCUP_PROFILE_FILE="$ZDOTDIR/.zshrc"
else
GHCUP_PROFILE_FILE="$HOME/.zshrc"
fi
MY_SHELL="zsh" ;;
*/bash) # login shell is bash
GHCUP_PROFILE_FILE="$HOME/.bashrc"
Loading