bug#37790: MANPATH missing from non-default profile

Hi Simon, zimoun writes: > Hi Maxim, > > On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer > wrote: > >> tags 37790 notabug > > From my understanding, it is a "bug" as explained here: > > 1: > > Or at least an inconvenient behaviour. :-) Sorry, I fail to see w

bug#37790: MANPATH missing from non-default profile

Hi Maxim, On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer wrote: > tags 37790 notabug >From my understanding, it is a "bug" as explained here: 1: Or at least an inconvenient behaviour. :-) > >> I agree it’s inconvenient, but how would you add an exception?

bug#37790: MANPATH missing from non-default profile

tags 37790 notabug thanks Hi, Pierre Neidhardt writes: > Ludovic Courtès writes: > >> I agree it’s inconvenient, but how would you add an exception? > > I'm not too sure how Guix works here, but what about when building the > profile, systematically populating etc/profile with MANPATH=...? I

bug#37790: MANPATH missing from non-default profile

Pierre Neidhardt skribis: >> As usual, ‘MANPATH’ is only defined when ‘man-db’ is also present in the >> profile, since ‘MANPATH’ “belongs” to ‘man-db’. > > Indeed, but I'm suggesting we add an exception for the sake of > convenience and consistency: I agree it’s inconvenient, but how would you

bug#37790: MANPATH missing from non-default profile

Hi Pierre, Pierre Neidhardt skribis: > `man` fails to find man pages from non-default profiles. > Indeed, MANPATH is set in /etc/profile to > > export MANPATH=\ > $HOME/.guix-profile/share/man\ > :/run/current-system/profile/share/man > > I believe that each profile should set MANPATH in their o