[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40872: [PATCH] gnu: system: Fix PATH export if the profile has no bi
From: |
Stefan |
Subject: |
bug#40872: [PATCH] gnu: system: Fix PATH export if the profile has no bin directory. |
Date: |
Sun, 10 May 2020 00:50:53 +0200 |
Hi!
> Am 02.05.2020 um 18:59 schrieb Stefan <address@hidden>:
>
> * 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\" ]
I just realised that I missed the necessary
then
between these lines.
> # 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
>
Bye
Stefan