[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40872: Subject: [PATCH] gnu: system: Fix PATH export if the profile
|
From: |
Stefan |
|
Subject: |
bug#40872: Subject: [PATCH] gnu: system: Fix PATH export if the profile has no bin directory. |
|
Date: |
Sat, 2 May 2020 18:59:40 +0200 |
* gnu/system.scm (operating-system-etc-service): Testing for $profile/bin.
Fixes <https://debbugs.gnu.org/40872>.
---
gnu/system.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/system.scm b/gnu/system.scm
index 540f0e4a9e..0eb5731c82 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -725,7 +725,8 @@ do
# Load the user profile's settings.
GUIX_PROFILE=\"$profile\" ; \\
. \"$profile/etc/profile\"
- else
+ fi
+ if [ ! -d \"$profile/bin\" ]
# At least define this one so that basic things just work
# when the user installs their first package.
export PATH=\"$profile/bin:$PATH\"
--
2.26.0