diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2018-05-15 18:27:36 +0100 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2018-05-15 18:27:36 +0100 |
commit | 75d72615371b015e2fd6c2c30f9b6757fd2231ff (patch) | |
tree | 0006b7d8657f2c53afb8dd4e0114309301d8c8ac | |
parent | 11b0556e4d6782fa7c76ce6bb0e04f7a1c11aa50 (diff) | |
download | tweed-75d72615371b015e2fd6c2c30f9b6757fd2231ff.tar.gz |
re-use GUIX_PROFILE variable
-rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ following function can be defined in the .bashrc file: GUIX_PROFILE="$HOME/.guix-profile" # set paths according to profile if [ -e "$GUIX_PROFILE/etc/profile" ]; then - source "$HOME/.guix-profile/etc/profile" + source "$GUIX_PROFILE/etc/profile" fi } |