GNU bug report logs - #30014
MANPATH prefers system profile over user 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 30014 in the body.
You can then email your comments to 30014 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: Marius Bakke <mbakke <at> fastmail.com>
To: bug-guix <at> gnu.org
Subject: MANPATH prefers system profile over user profile
Date: Sun, 07 Jan 2018 14:11:28 +0100

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

MANPATH contains the system profile twice:

/run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man

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

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

From: Chris Marusich <cmmarusich <at> gmail.com>
To: Marius Bakke <mbakke <at> fastmail.com>
Cc: 30014 <at> debbugs.gnu.org
Subject: Re: bug#30014: MANPATH prefers system profile over user profile
Date: Sun, 07 Jan 2018 17:55:31 -0800

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

Marius Bakke <mbakke <at> fastmail.com> writes:

> MANPATH contains the system profile twice:
>
> /run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man

I think this might be a duplicate of the following more general bug
("Duplicate entries in various environment variables"):

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23118

What do you think?  Should we treat this as a separate issue, or do you
think this should be closed as a duplicate of 23118?

-- 
Chris

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

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

From: Marius Bakke <mbakke <at> fastmail.com>
To: Chris Marusich <cmmarusich <at> gmail.com>
Cc: 30014-close <at> debbugs.gnu.org
Subject: Re: bug#30014: MANPATH prefers system profile over user profile
Date: Mon, 08 Jan 2018 20:30:46 +0100

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

Chris Marusich <cmmarusich <at> gmail.com> writes:

> Marius Bakke <mbakke <at> fastmail.com> writes:
>
>> MANPATH contains the system profile twice:
>>
>> /run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man
>
> I think this might be a duplicate of the following more general bug
> ("Duplicate entries in various environment variables"):
>
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23118

Ah, I was not aware of that one.

> What do you think?  Should we treat this as a separate issue, or do you
> think this should be closed as a duplicate of 23118?

Let's close this in favor of your much better report :)

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

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: 30014 <at> debbugs.gnu.org
Cc: mbakke <at> fastmail.com
Subject: Re: bug#30014: MANPATH prefers system profile over user profile
Date: Sat, 13 Jan 2018 15:08:13 +0100

Marius Bakke <mbakke <at> fastmail.com> skribis:

> Chris Marusich <cmmarusich <at> gmail.com> writes:
>
>> Marius Bakke <mbakke <at> fastmail.com> writes:
>>
>>> MANPATH contains the system profile twice:
>>>
>>> /run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man
>>
>> I think this might be a duplicate of the following more general bug
>> ("Duplicate entries in various environment variables"):
>>
>> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23118
>
> Ah, I was not aware of that one.

I think that one was related to gnome-terminal being wrapped.

The MANPATH issue is different: /etc/profile defines MANPATH
unconditionally (see (gnu system)), but then, when you have man-db in
the system profile (which is the case by default),
/run/current-system/profile/etc/profile also defines it, hence the
duplicate entry.

If we remove MANPATH from /etc/profile, ~/.guix-profile/share/man will
no longer be there, unless the user has explicitly installed man-db in
their profile.

I can’t think of a good solution here.  Thoughts?

Ludo’.

Previous Next

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