diff options
| author | David Thompson <dthompson2@worcester.edu> | 2022-12-12 09:13:49 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2022-12-12 09:13:49 -0500 |
| commit | 2648336957b4d327d372129af901fd90008da1ee (patch) | |
| tree | d755fd7c7bdb24b25c520da84fc9c1dac6db85f1 | |
| parent | a28c98f60ac4b49d89c01345c303a5309cde086a (diff) | |
bash: Fix sourcing of Guix profile.
| -rw-r--r-- | dotfiles/.bash_profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dotfiles/.bash_profile b/dotfiles/.bash_profile index 1297ee0..e517147 100644 --- a/dotfiles/.bash_profile +++ b/dotfiles/.bash_profile @@ -7,7 +7,8 @@ fi if [ -f $HOME/.guix-profile/etc/profile ] then - source $HOME/.guix-profile/etc/profile + GUIX_PROFILE=$HOME/.guix-profile + source $GUIX_PROFILE/etc/profile fi export PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH" |