diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2018-05-11 15:59:58 +0100 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2018-05-11 15:59:58 +0100 |
commit | d83608d289ac1c0a154ee5e0b2d45717e8e77725 (patch) | |
tree | 1f51a5603c80f69576a0618b6ec0ee6a58ad18db | |
parent | da17865e2e54a29a06a2af376efb2d6ba4eae9f3 (diff) | |
download | tweed-d83608d289ac1c0a154ee5e0b2d45717e8e77725.tar.gz |
add GUIX_PROFILE to startGuix function, remove GUIX_LOCPATH
-rw-r--r-- | INSTALL.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -35,12 +35,12 @@ This can be done using a shell function. For a *bash* shell, for example, the following function can be defined in the .bashrc file: startGuix () { - # set Guix environment variables + # set GUIX_PROFILE variable + GUIX_PROFILE="$HOME/.guix-profile" + # set paths according to profile if [ -e "$GUIX_PROFILE/etc/profile" ]; then source "$HOME/.guix-profile/etc/profile" fi - # set path for locale - GUIX_LOCPATH=$HOME/.guix-profile/lib/locale } To continue, start a new shell (or ``source`` the modified .bashrc file), move |