aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Garlick <pgarlick@tourbillion-technology.com>2018-05-11 15:59:58 +0100
committerPaul Garlick <pgarlick@tourbillion-technology.com>2018-05-11 15:59:58 +0100
commitd83608d289ac1c0a154ee5e0b2d45717e8e77725 (patch)
tree1f51a5603c80f69576a0618b6ec0ee6a58ad18db
parentda17865e2e54a29a06a2af376efb2d6ba4eae9f3 (diff)
downloadtweed-d83608d289ac1c0a154ee5e0b2d45717e8e77725.tar.gz
add GUIX_PROFILE to startGuix function, remove GUIX_LOCPATH
-rw-r--r--INSTALL.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/INSTALL.md b/INSTALL.md
index f0c3f25..daa4acb 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -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