bug#30014: MANPATH prefers system profile over user profile

[Ludovic Courtès]

Marius Bakke <address@hidden> skribis:

> 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.

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’.