bug#37790: closed (MANPATH missing from non-default profile)

[GNU bug Tracking System]

Your message dated Thu, 03 Mar 2022 01:24:59 -0500
with message-id <87y21rimdg.fsf@gmail.com>
and subject line Re: bug#37790: MANPATH missing from non-default profile
has caused the debbugs.gnu.org bug report #37790,
regarding MANPATH missing from non-default profile
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


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

--- Begin Message --- Subject: MANPATH missing from non-default profile Date: Thu, 17 Oct 2019 14:58:10 +0200

`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 own etc/profile.

Thoughts?

-- 
Pierre Neidhardt
https://ambrevar.xyz/

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#37790: MANPATH missing from non-default profile
>
>
>
>
> Date: 
>
> Thu, 03 Mar 2022 01:24:59 -0500
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> tags 37790 notabug
> thanks
>
> Hi,
>
> Pierre Neidhardt <mail@ambrevar.xyz> writes:
>
> > Ludovic Courtès <ludo@gnu.org> 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 don't think special casing ~/.guix-profile like this, polluting other
> profiles is a good idea.
>
> I'm closing this 2+ years old bug.
>
> Thank you,
>
> Maxim
>
>
> --- End Message ---