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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 63009 in the body.
You can then email your comments to 63009 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: bug-guix <at> gnu.org
Subject: <guix-home>/profile/bin missing from PATH for ssh commands
Date: Sat, 22 Apr 2023 10:19:45 +0200

[Message part 1 (text/plain, inline)]

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 <at> 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 <at> drakenpad:~
--8<---------------cut here---------------end--------------->8---

The attached patch has a fix for this.  WYDT?

Greetings,
Janneke

[0001-gnu-system-Cater-for-Guix-Home-in-PATH.patch (text/x-patch, inline)]

From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
From: Janneke Nieuwenhuizen <janneke <at> 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 <at> waegenei.re>
 ;;; Copyright © 2020 Florian Pelz <pelzflorian <at> pelzflorian.de>
 ;;; Copyright © 2020, 2022 Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
-;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <jannek <at> gnu.org>
+;;; Copyright © 2020, 2023 Jan (janneke) Nieuwenhuizen <jannek <at> gnu.org>
 ;;; Copyright © 2020, 2022 Efraim Flashner <efraim <at> flashner.co.il>
 ;;; Copyright © 2021 Maxime Devos <maximedevos <at> telenet.be>
 ;;; Copyright © 2021 raid5atemyhomework <raid5atemyhomework <at> 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

[Message part 3 (text/plain, inline)]

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

Message #8 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: 63009 <at> debbugs.gnu.org
Subject: etc/teams.scm cc home
Date: Sun, 23 Apr 2023 09:57:16 +0200

Message #11 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: 63009 <at> debbugs.gnu.org
Subject: etc/team.scm cc home #2
Date: Tue, 25 Apr 2023 11:09:55 +0200

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

Message #14 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: 63009 <at> debbugs.gnu.org
Subject: etc/team.scm cc home #3
Date: Tue, 25 Apr 2023 11:11:29 +0200

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

Message #19 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Janneke Nieuwenhuizen <janneke <at> gnu.org>
Cc: 63009 <at> debbugs.gnu.org
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Thu, 11 May 2023 14:29:26 +0200

Hi,

This patch had fallen through the cracks…

Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:

>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
> From: Janneke Nieuwenhuizen <janneke <at> 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’.

Message #24 received at 63009-done <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 63009-done <at> debbugs.gnu.org
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Fri, 12 May 2023 10:02:27 +0200

Ludovic Courtès writes:

Hello,

> This patch had fallen through the cracks…

Ah, no problem.

> Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:
>
>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
>> From: Janneke Nieuwenhuizen <janneke <at> 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 <at> gnu.org>  | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | Avatar® https://AvatarAcademy.com

Message #31 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: 63009 <at> debbugs.gnu.org
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Fri, 14 Mar 2025 14:02:56 +0100

Janneke Nieuwenhuizen writes:

Hello,

> Ludovic Courtès writes:
>
> Hello,
>
>> This patch had fallen through the cracks…
>
> Ah, no problem.

Oh my, as kinote noticed on IRC, somehow it fell through the cracks
again: <https://logs.guix.gnu.org/guix/2025-03-14.log#124505>.

>> Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:
>>
>>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
>>> From: Janneke Nieuwenhuizen <janneke <at> 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

Really pushed to master as

    2b6017dd0b031e43de7e66b3e1f3f331c0ab712c

Greetings,
Janneke


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

Message #34 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Hilton Chain <hako <at> ultrarare.space>
To: Janneke Nieuwenhuizen <janneke <at> gnu.org>
Cc: 63009 <at> debbugs.gnu.org
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Sat, 15 Mar 2025 13:34:38 +0800

Hi Janneke,

On Fri, 14 Mar 2025 21:02:56 +0800,
Janneke Nieuwenhuizen wrote:
>
> Janneke Nieuwenhuizen writes:
>
> Hello,
>
> > Ludovic Courtès writes:
> >
> > Hello,
> >
> >> This patch had fallen through the cracks…
> >
> > Ah, no problem.
>
> Oh my, as kinote noticed on IRC, somehow it fell through the cracks
> again: <https://logs.guix.gnu.org/guix/2025-03-14.log#124505>.
>
> >> Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:
> >>
> >>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
> >>> From: Janneke Nieuwenhuizen <janneke <at> 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
>
> Really pushed to master as
>
>     2b6017dd0b031e43de7e66b3e1f3f331c0ab712c

It seems this is already set by Guix Home?

My currently $PATH with this change:
--8<---------------cut here---------------start------------->8---
/home/hako/.guix-home/profile/bin
/home/hako/.guix-home/profile/sbin
/run/privileged/bin
/home/hako/.config/guix/current/bin
/home/hako/.guix-home/profile/bin
/home/hako/.guix-home/profile/sbin
/home/hako/.guix-profile/bin
/run/current-system/profile/bin
/run/current-system/profile/sbin
--8<---------------cut here---------------end--------------->8---

The first two entries are prepended by ~/.guix-home/setup-environment:
--8<---------------cut here---------------start------------->8---
GUIX_PROFILE="$HOME_ENVIRONMENT/profile"
PROFILE_FILE="$GUIX_PROFILE/etc/profile"
[ -f $PROFILE_FILE ] && . $PROFILE_FILE
--8<---------------cut here---------------end--------------->8---

I think we should either don't set PATH in Guix Home (how about foreign
distros?), or revert this commit and prepend /run/privileged/bin in Guix Home.

BTW I think ~/.guix-profile can be ordered before ~/.guix-home so that it's
imperative profiles first, and declarative profiles second.

WDYT?

Message #37 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Hilton Chain <hako <at> ultrarare.space>
To: Janneke Nieuwenhuizen <janneke <at> gnu.org>
Cc: 63009 <at> debbugs.gnu.org
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Sat, 15 Mar 2025 15:18:22 +0800

On Sat, 15 Mar 2025 13:34:38 +0800,
Hilton Chain wrote:
>
> Hi Janneke,
>
> On Fri, 14 Mar 2025 21:02:56 +0800,
> Janneke Nieuwenhuizen wrote:
> >
> > Janneke Nieuwenhuizen writes:
> >
> > Hello,
> >
> > > Ludovic Courtès writes:
> > >
> > > Hello,
> > >
> > >> This patch had fallen through the cracks…
> > >
> > > Ah, no problem.
> >
> > Oh my, as kinote noticed on IRC, somehow it fell through the cracks
> > again: <https://logs.guix.gnu.org/guix/2025-03-14.log#124505>.
> >
> > >> Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:
> > >>
> > >>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
> > >>> From: Janneke Nieuwenhuizen <janneke <at> 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
> >
> > Really pushed to master as
> >
> >     2b6017dd0b031e43de7e66b3e1f3f331c0ab712c
>
> It seems this is already set by Guix Home?

SSH doesn't use a login shell, I see.

Message #40 received at 63009 <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Hilton Chain <hako <at> ultrarare.space>
Cc: 63009 <at> debbugs.gnu.org, Janneke Nieuwenhuizen <janneke <at> gnu.org>
Subject: Re: bug#63009: <guix-home>/profile/bin missing from PATH for ssh
 commands
Date: Wed, 19 Mar 2025 08:05:09 +0200

[Message part 1 (text/plain, inline)]

On Sat, Mar 15, 2025 at 03:18:22PM +0800, Hilton Chain wrote:
> On Sat, 15 Mar 2025 13:34:38 +0800,
> Hilton Chain wrote:
> >
> > Hi Janneke,
> >
> > On Fri, 14 Mar 2025 21:02:56 +0800,
> > Janneke Nieuwenhuizen wrote:
> > >
> > > Janneke Nieuwenhuizen writes:
> > >
> > > Hello,
> > >
> > > > Ludovic Courtès writes:
> > > >
> > > > Hello,
> > > >
> > > >> This patch had fallen through the cracks…
> > > >
> > > > Ah, no problem.
> > >
> > > Oh my, as kinote noticed on IRC, somehow it fell through the cracks
> > > again: <https://logs.guix.gnu.org/guix/2025-03-14.log#124505>.
> > >
> > > >> Janneke Nieuwenhuizen <janneke <at> gnu.org> skribis:
> > > >>
> > > >>>>From 2ac41477dad5699b748acfc72d4e91e0e14fa16a Mon Sep 17 00:00:00 2001
> > > >>> From: Janneke Nieuwenhuizen <janneke <at> 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
> > >
> > > Really pushed to master as
> > >
> > >     2b6017dd0b031e43de7e66b3e1f3f331c0ab712c
> >
> > It seems this is already set by Guix Home?
> 
> SSH doesn't use a login shell, I see.

I believe the canonical place to set this is .ssh/rc

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.