diff options
Diffstat (limited to 'home-dots/dot-profile')
| -rw-r--r-- | home-dots/dot-profile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/home-dots/dot-profile b/home-dots/dot-profile index f156b80..084d096 100644 --- a/home-dots/dot-profile +++ b/home-dots/dot-profile @@ -1,8 +1,4 @@ #!/bin/sh export PATH="$HOME/.local/bin:$HOME/dev/dotfiles/bin:$PATH" -[ -f "$HOME/.ghcup/env" ] && source "$HOME/.ghcup/env" # ghcup-env -source "$HOME/.cargo/env" -# GUIX_PROFILE="$HOME/.guix-profile" && [ -e "$GUIX_PROFILE" ] && . "$GUIX_PROFILE/etc/profile" && export GUIX_LOCPATH=$GUIX_PROFILE/lib/locale -# GUIX_PROFILE="$HOME/.config/guix/current" && [ -e "$GUIX_PROFILE" ] && . "$GUIX_PROFILE/etc/profile" -# export SSL_CERT_DIR="$HOME/.guix-profile/etc/ssl/certs" -# export SSL_CERT_FILE="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt" +[ -f "$HOME/.ghcup/env" ] && source "$HOME/.ghcup/env" +[ -f "$HOME/.cargo/env" ] && source "$HOME/.cargo/env" |