From 507c71d629d6aacf47e03a94eaf0c6b9ef45c367 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 7 May 2015 09:43:59 +0200
Subject: [PATCH] system: Check whether ~/.guix-profile/etc/profile exists.

* gnu/system.scm (etc-directory)[profile]: Check for
  ~/.guix-profile/etc/profile rather than just ~/.guix-profile.
---
 gnu/system.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index 104b22353..66574c10c 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -484,7 +484,7 @@ source /run/current-system/profile/etc/profile
 # Prepend setuid programs.
 export PATH=/run/setuid-programs:$PATH
 
-if [ -d \"$HOME/.guix-profile\" ]
+if [ -f \"$HOME/.guix-profile/etc/profile\" ]
 then
   # Load the user profile's settings.
   GUIX_PROFILE=\"$HOME/.guix-profile\" \\
-- 
2.11.4.GIT