diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:43:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:49:08 +0200 |
| commit | 507c71d629d6aacf47e03a94eaf0c6b9ef45c367 (patch) | |
| tree | 2573c3973a2f1b81b3aef437f359e8a14137b9f4 /gnu | |
| parent | dd4a86207ef7be22faa825cc828dff3f82aabf2e (diff) | |
| download | guix-507c71d629d6aacf47e03a94eaf0c6b9ef45c367.tar guix-507c71d629d6aacf47e03a94eaf0c6b9ef45c367.tar.gz | |
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.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 104b223539..66574c10cb 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\" \\ |