bug#63009: <guix-home>/profile/bin missing from PATH for ssh commands

bug#63009: <guix-home>/profile/bin missing from PATH for ssh commands

[Janneke Nieuwenhuizen]

[-- Attachment #1: Type: text/plain, Size: 1105 bytes --]

Hi,

Yesterday I updated my account on our 'kluit' server to use guix home,
and found that broke pushing to my git archives.  Apparently, my git
installed as a guix home package is not seen for ssh commands.

--8<---------------cut here---------------start------------->8---
$ ssh kluit type -p git
[1]10:13:59 janneke@drakenpad:~
$ ssh kluit echo '$PATH'
/run/setuid-programs:/home/janneke/.config/guix/current/bin:/home/janneke/.guix-profile/bin:/run/current-system/profile/bin:/run/current-system/profile/sbin
--8<---------------cut here---------------end--------------->8---

See?  Although there is no "/home/janneke/.guix-profile/bin", it is
still present in PATH, while "/home/janneke/.guix-home/profile/bin" is
missing!

Also (re-)installing git in my home profile again (ugh!) is a workaround
to fix this:

--8<---------------cut here---------------start------------->8---
$ ssh kluit type -p git
/home/janneke/.guix-profile/bin/git
10:14:52 janneke@drakenpad:~
--8<---------------cut here---------------end--------------->8---

The attached patch has a fix for this.  WYDT?

Greetings,
Janneke


[-- Attachment #2: 0001-gnu-system-Cater-for-Guix-Home-in-PATH.patch --]
[-- Type: text/x-patch, Size: 1725 bytes --]

From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
From: Janneke Nieuwenhuizen <janneke@gnu.org>
Date: Sat, 22 Apr 2023 09:58:48 +0200
Subject: [PATCH] gnu: system: Cater for Guix Home in PATH.

* gnu/system.scm (operating-system-etc-service): Also add a user's
<guix-home>/profile/bin directory to PATH, before <guix-profile>/bin.
---
 gnu/system.scm | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index c17c6e4e98..df1e4e8640 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -10,7 +10,7 @@
 ;;; Copyright © 2020, 2021 Brice Waegeneire <brice@waegenei.re>
 ;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de>
 ;;; Copyright © 2020, 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
-;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <jannek@gnu.org>
+;;; Copyright © 2020, 2023 Jan (janneke) Nieuwenhuizen <jannek@gnu.org>
 ;;; Copyright © 2020, 2022 Efraim Flashner <efraim@flashner.co.il>
 ;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be>
 ;;; Copyright © 2021 raid5atemyhomework <raid5atemyhomework@protonmail.com>
@@ -1037,8 +1037,11 @@ (define* (operating-system-etc-service os)
   export `cat /etc/environment | cut -d= -f1`
 fi
 
-# Arrange so that ~/.config/guix/current comes first.
-for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\"
+# Arrange so that ~/.config/guix/current comes first,
+# and guix-home comes before guix-profile.
+for profile in \"$HOME/.guix-profile\"        \\
+               \"$HOME/.guix-home/profile\"   \\
+               \"$HOME/.config/guix/current\"
 do
   if [ -f \"$profile/etc/profile\" ]
   then
-- 
2.39.2


[-- Attachment #3: Type: text/plain, Size: 164 bytes --]


-- 
Janneke Nieuwenhuizen <janneke@gnu.org>  | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | Avatar® https://AvatarAcademy.com

bug#63009: etc/teams.scm cc home

[Janneke Nieuwenhuizen]

bug#63009: etc/team.scm cc home #2

[Janneke Nieuwenhuizen]

Seems only one X-Debbugs-Cc header is honoured at a time, forgot them
initiially...

bug#63009: etc/team.scm cc home #3

[Janneke Nieuwenhuizen]

Seems only one X-Debbugs-Cc header is honoured at a time, forgot them
initiially...

bug#63009: <guix-home>/profile/bin missing from PATH for ssh commands

[Ludovic Courtès]

Hi,

This patch had fallen through the cracks…

Janneke Nieuwenhuizen <janneke@gnu.org> skribis:

>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
> From: Janneke Nieuwenhuizen <janneke@gnu.org>
> Date: Sat, 22 Apr 2023 09:58:48 +0200
> Subject: [PATCH] gnu: system: Cater for Guix Home in PATH.
>
> * gnu/system.scm (operating-system-etc-service): Also add a user's
> <guix-home>/profile/bin directory to PATH, before <guix-profile>/bin.

LGTM, thanks!

Ludo’.

bug#63009: <guix-home>/profile/bin missing from PATH for ssh commands

[Janneke Nieuwenhuizen]

Ludovic Courtès writes:

Hello,

> This patch had fallen through the cracks…

Ah, no problem.

> Janneke Nieuwenhuizen <janneke@gnu.org> skribis:
>
>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
>> From: Janneke Nieuwenhuizen <janneke@gnu.org>
>> Date: Sat, 22 Apr 2023 09:58:48 +0200
>> Subject: [PATCH] gnu: system: Cater for Guix Home in PATH.
>>
>> * gnu/system.scm (operating-system-etc-service): Also add a user's
>> <guix-home>/profile/bin directory to PATH, before <guix-profile>/bin.
>
> LGTM, thanks!

Great, pushed to master as

    ff2e22d1e122eb5b85fd85f8e922e6e8cfb0ee7b

Janneke

-- 
Janneke Nieuwenhuizen <janneke@gnu.org>  | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | Avatar® https://AvatarAcademy.com