[debbugs-tracker] bug#30014: closed (MANPATH prefers system profile over user profile)

[GNU bug Tracking System]

Your message dated Mon, 08 Jan 2018 20:30:46 +0100
with message-id <address@hidden>
and subject line Re: bug#30014: MANPATH prefers system profile over user profile
has caused the debbugs.gnu.org bug report #30014,
regarding MANPATH prefers system profile over user profile
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
30014: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30014
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: MANPATH prefers system profile over user profile Date: Sun, 07 Jan 2018 14:11:28 +0100 User-agent: Notmuch/0.25.3 (https://notmuchmail.org) Emacs/25.3.1 (x86_64-pc-linux-gnu)

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
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: bug#30014: MANPATH prefers system profile over user profile Date: Mon, 08 Jan 2018 20:30:46 +0100 User-agent: Notmuch/0.25.3 (https://notmuchmail.org) Emacs/25.3.1 (x86_64-pc-linux-gnu)

Chris Marusich <address@hidden> writes:

> Marius Bakke <address@hidden> 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
Description: PGP signature

--- End Message ---