aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Garlick <pgarlick@tourbillion-technology.com>2018-05-15 18:27:36 +0100
committerPaul Garlick <pgarlick@tourbillion-technology.com>2018-05-15 18:27:36 +0100
commit75d72615371b015e2fd6c2c30f9b6757fd2231ff (patch)
tree0006b7d8657f2c53afb8dd4e0114309301d8c8ac
parent11b0556e4d6782fa7c76ce6bb0e04f7a1c11aa50 (diff)
downloadtweed-75d72615371b015e2fd6c2c30f9b6757fd2231ff.tar.gz
re-use GUIX_PROFILE variable
-rw-r--r--INSTALL.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md
index d5ddfd3..5e0ce7b 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -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
}