GNU bug report logs - #37790
MANPATH missing from non-default profile

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 37790 in the body.
You can then email your comments to 37790 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: Pierre Neidhardt <mail <at> ambrevar.xyz>
To: bug-guix <at> gnu.org
Subject: MANPATH missing from non-default profile
Date: Thu, 17 Oct 2019 14:58:10 +0200

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

`man` fails to find man pages from non-default profiles.
Indeed, MANPATH is set in /etc/profile to

export MANPATH=\
$HOME/.guix-profile/share/man\
:/run/current-system/profile/share/man

I believe that each profile should set MANPATH in their own etc/profile.

Thoughts?

-- 
Pierre Neidhardt
https://ambrevar.xyz/

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

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: 37790 <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 17 Oct 2019 16:54:51 +0200

Hi Pierre,

Pierre Neidhardt <mail <at> ambrevar.xyz> skribis:

> `man` fails to find man pages from non-default profiles.
> Indeed, MANPATH is set in /etc/profile to
>
> export MANPATH=\
> $HOME/.guix-profile/share/man\
> :/run/current-system/profile/share/man
>
> I believe that each profile should set MANPATH in their own etc/profile.

As usual, ‘MANPATH’ is only defined when ‘man-db’ is also present in the
profile, since ‘MANPATH’ “belongs” to ‘man-db’.

HTH!

Ludo’.

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

From: Pierre Neidhardt <mail <at> ambrevar.xyz>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 37790 <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 17 Oct 2019 17:11:47 +0200

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

> As usual, ‘MANPATH’ is only defined when ‘man-db’ is also present in the
> profile, since ‘MANPATH’ “belongs” to ‘man-db’.

Indeed, but I'm suggesting we add an exception for the sake of
convenience and consistency:

- The default profile ~/.guix-profile is added, man-db or not.
- It's seems a bit unfortunate that all my profiles need to have man-db
  in it.

What do you think?

-- 
Pierre Neidhardt
https://ambrevar.xyz/

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

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: 37790 <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 17 Oct 2019 18:17:48 +0200

Pierre Neidhardt <mail <at> ambrevar.xyz> skribis:

>> As usual, ‘MANPATH’ is only defined when ‘man-db’ is also present in the
>> profile, since ‘MANPATH’ “belongs” to ‘man-db’.
>
> Indeed, but I'm suggesting we add an exception for the sake of
> convenience and consistency:

I agree it’s inconvenient, but how would you add an exception?

Ludo’.

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

From: Pierre Neidhardt <mail <at> ambrevar.xyz>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 37790 <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Fri, 18 Oct 2019 10:20:26 +0200

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

Ludovic Courtès <ludo <at> gnu.org> writes:

> I agree it’s inconvenient, but how would you add an exception?

I'm not too sure how Guix works here, but what about when building the
profile, systematically populating etc/profile with MANPATH=...?

-- 
Pierre Neidhardt
https://ambrevar.xyz/

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

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 37790-close <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 03 Mar 2022 01:24:59 -0500

tags 37790 notabug
thanks

Hi,

Pierre Neidhardt <mail <at> ambrevar.xyz> writes:

> Ludovic Courtès <ludo <at> gnu.org> writes:
>
>> I agree it’s inconvenient, but how would you add an exception?
>
> I'm not too sure how Guix works here, but what about when building the
> profile, systematically populating etc/profile with MANPATH=...?

I don't think special casing ~/.guix-profile like this, polluting other
profiles is a good idea.

I'm closing this 2+ years old bug.

Thank you,

Maxim

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

From: zimoun <zimon.toutoune <at> gmail.com>
To: 37790 <at> debbugs.gnu.org, Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, 
 Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: 37790-close <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 3 Mar 2022 09:32:50 +0100

Hi Maxim,

On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer <maxim.cournoyer <at> gmail.com> wrote:

> tags 37790 notabug

From my understanding, it is a "bug" as explained here:

1: <https://issues.guix.gnu.org/37790#2>

Or at least an inconvenient behaviour. :-)


> >> I agree it’s inconvenient, but how would you add an exception?
> >
> > I'm not too sure how Guix works here, but what about when building the
> > profile, systematically populating etc/profile with MANPATH=...?
>
> I don't think special casing ~/.guix-profile like this, polluting other
> profiles is a good idea.

It appears to me the contrary, no?  That ~/.guix-profile is special here.

Well, using a multi-profiles style management, it appears to me
adequate to install "man" (or man-db) once, i.e.,  in one profile say
~/.cache/guix/profiles/utilities, and then install other packages, say
git, in another profile, say ~/, .cache/guix/profiles/tools, etc.

With the current design, each profile other than ~/.guix-profile
requires 'man-db' which seems unfortunate, non?


Cheers,
simon

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: Pierre Neidhardt <mail <at> ambrevar.xyz>, 37790-close <at> debbugs.gnu.org,
 37790 <at> debbugs.gnu.org
Subject: Re: bug#37790: MANPATH missing from non-default profile
Date: Thu, 03 Mar 2022 09:04:56 -0500

Hi Simon,

zimoun <zimon.toutoune <at> gmail.com> writes:

> Hi Maxim,
>
> On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer <maxim.cournoyer <at> gmail.com> wrote:
>
>> tags 37790 notabug
>
> From my understanding, it is a "bug" as explained here:
>
> 1: <https://issues.guix.gnu.org/37790#2>
>
> Or at least an inconvenient behaviour. :-)

Sorry, I fail to see where is the bug :-).  This is our the search-path
specifications have always worked; they work per profile and are
attached to the application acting as the "consumer" of the environment
variable it sets.

If we want to work on improving this we already have the following
issues opened awaiting work:

20255 'search-paths' should respect both user and system profile.

and somewhat related:

22138 Search paths of dependencies are not honored

Thanks,

Maxim

Previous Next

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