[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#30014: MANPATH prefers system profile over user profile

From: Ludovic Courtès
Subject: bug#30014: MANPATH prefers system profile over user profile
Date: Sat, 13 Jan 2018 15:08:13 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]