From 75d72615371b015e2fd6c2c30f9b6757fd2231ff Mon Sep 17 00:00:00 2001
From: Paul Garlick <pgarlick@tourbillion-technology.com>
Date: Tue, 15 May 2018 18:27:36 +0100
Subject: re-use GUIX_PROFILE variable

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 	}
 
-- 
cgit