Marius Bakke <[email protected]> skribis: > Chris Marusich <[email protected]> writes: > >> Marius Bakke <[email protected]> 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’.
