MANPATH missing from non-default profile

  • Done
  • quality assurance status badge
Details
5 participants
  • Ludovic Courtès
  • Pierre Neidhardt
  • Maxim Cournoyer
  • Morgan Smith
  • zimoun
Owner
unassigned
Submitted by
Pierre Neidhardt
Severity
normal
Merged with
P
P
Pierre Neidhardt wrote on 17 Oct 2019 14:58
(address . bug-guix@gnu.org)
87mudzr0kd.fsf@ambrevar.xyz
`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
-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl2oZWIACgkQm9z0l6S7
zH86LAf/c+9M2AwQxqoErrqOnuHUAz6F4yeNf1z0BMHpBM4XSYlboQID2HePf4p2
vbhdzf6z3mGczB2Wzns/yKDIk4//TclNhupdEu24UzxdL/MnlLQoR37rhW8VeQKQ
5I1afotM2Ro1HZvt0S1JNa0lbFh8aw8hTWgfeDDyxR2UFuSSn4MNU5JJkA7d3RD+
D8CU/UUEA1WqiPPir8HMVtHgtwGVrTaq0kkOZ/1n3PWBtfnSNtMJpUZTtwOvqnA6
HMSvGHNApPGtrjs2kzQsptHbRpfgupSfuvNe92tMFDQKr7vogmANRqmq0pOVeGSI
CJ72LGwMCoUY7vpSrGdHESP3NmqeYQ==
=pZZy
-----END PGP SIGNATURE-----

L
L
Ludovic Courtès wrote on 17 Oct 2019 16:54
(name . Pierre Neidhardt)(address . mail@ambrevar.xyz)(address . 37790@debbugs.gnu.org)
87v9sno210.fsf@gnu.org
Hi Pierre,

Pierre Neidhardt <mail@ambrevar.xyz> skribis:

Toggle quote (9 lines)
> `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.

As usual, ‘MANPATH’ is only defined when ‘man-db’ is also present in the
profile, since ‘MANPATH’ “belongs” to ‘man-db’.

HTH!

Ludo’.
P
P
Pierre Neidhardt wrote on 17 Oct 2019 17:11
(name . Ludovic Courtès)(address . ludo@gnu.org)(address . 37790@debbugs.gnu.org)
87eezbmmoc.fsf@ambrevar.xyz
Toggle quote (3 lines)
> 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:

- The default profile ~/.guix-profile is added, man-db or not.
- It's seems a bit unfortunate that all my profiles need to have man-db
in it.

What do you think?

--
Pierre Neidhardt
-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl2ohLMACgkQm9z0l6S7
zH9UPQf9HrkgYV4eEibLJaUjz6nv1DccOqkFwaFa278GLVnrx4huJsn9ev2id0qP
MbdajCWlaXlTyGQHTM6N0jxMwoYiaca57gfK4c86ejryB2YR8/0o4CDHDlDdWbWx
+hvzfQ5ntbDmXoYdCSpVZ2T3/m9TzxNbstwIOLFFXfYOcVSDh34G3vPkAqRKEExy
pbR5kNbCWeaaHoEs//BLjxkA2tDYqsdo6QMfbyCfWSKsjm7GPG/I+ZnczLJLxFDz
BN1RyZEXBrO5/Z0xKAi1DVTsa7/6H66LOwlc9WivLCgqZZ5dpfaM+fJIQdM6FGR/
456UUJTebycWJhcHRbHr9jM60gXHlA==
=2fEB
-----END PGP SIGNATURE-----

L
L
Ludovic Courtès wrote on 17 Oct 2019 18:17
(name . Pierre Neidhardt)(address . mail@ambrevar.xyz)(address . 37790@debbugs.gnu.org)
87eezbny6r.fsf@gnu.org
Pierre Neidhardt <mail@ambrevar.xyz> skribis:

Toggle quote (6 lines)
>> 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 add an exception?

Ludo’.
P
P
Pierre Neidhardt wrote on 18 Oct 2019 10:20
(name . Ludovic Courtès)(address . ludo@gnu.org)(address . 37790@debbugs.gnu.org)
87wod2lb1x.fsf@ambrevar.xyz
Ludovic Courtès <ludo@gnu.org> writes:

Toggle quote (2 lines)
> 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=...?

--
Pierre Neidhardt
-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl2pdcoACgkQm9z0l6S7
zH8+zgf/T6YpPKCdmNIeBE1vw5dVHWVNtcIGQsWkA4pk5uGhQcRqh7EMzqfh/vog
skSZxWV8cNAvJRxuiFAoxJ+nRzgPKH0YcNDfYg5kMfhXTq5KOhd5dOFi72w09cwd
F2qaTvTaQ+k+UWHNNaQH99czRAH1rOq29ygM3y8Ah4FNzCXGIbKvazVrffJ5eZrD
tON+qUx0p5RtxiJ+D/VqS6Vc0EEtgWlpEzPZ0tKd3MAROG9qKKQJcyCg+fCn14Rx
hBBY+AQ/kgH+bHin5TVV1qQtGVoxNjunq/xujbOqrnP6YseTWI+4gIuULiA3e5Ld
3qwzAW200vfHr9Am0tv+qFDNwwgmOw==
=i9Q5
-----END PGP SIGNATURE-----

M
M
Morgan Smith wrote on 24 Oct 2021 13:30
control message for bug #49353
(address . control@debbugs.gnu.org)
BYAPR05MB4023EF2170762A0114062DAFC5829@BYAPR05MB4023.namprd05.prod.outlook.com
merge 49353 37790
quit
M
M
Maxim Cournoyer wrote on 3 Mar 2022 07:24
Re: bug#37790: MANPATH missing from non-default profile
(name . Pierre Neidhardt)(address . mail@ambrevar.xyz)
87y21rimdg.fsf@gmail.com
tags 37790 notabug
thanks

Hi,

Pierre Neidhardt <mail@ambrevar.xyz> writes:

Toggle quote (7 lines)
> 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
Z
Z
zimoun wrote on 3 Mar 2022 09:32
(address . 37790-close@debbugs.gnu.org)
CAJ3okZ3Z0YgLfX6mDKkc+-VzYFqmTaBfKVwGRMLXEAfOffVqCw@mail.gmail.com
Hi Maxim,

On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer <maxim.cournoyer@gmail.com> wrote:

Toggle quote (2 lines)
> tags 37790 notabug

From my understanding, it is a "bug" as explained here:


Or at least an inconvenient behaviour. :-)


Toggle quote (8 lines)
> >> 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.

It appears to me the contrary, no? That ~/.guix-profile is special here.

Well, using a multi-profiles style management, it appears to me
adequate to install "man" (or man-db) once, i.e., in one profile say
~/.cache/guix/profiles/utilities, and then install other packages, say
git, in another profile, say ~/, .cache/guix/profiles/tools, etc.

With the current design, each profile other than ~/.guix-profile
requires 'man-db' which seems unfortunate, non?


Cheers,
simon
M
M
Maxim Cournoyer wrote on 3 Mar 2022 15:04
(name . zimoun)(address . zimon.toutoune@gmail.com)
87lexri12v.fsf@gmail.com
Hi Simon,

zimoun <zimon.toutoune@gmail.com> writes:

Toggle quote (12 lines)
> Hi Maxim,
>
> On Thu, 3 Mar 2022 at 07:26, Maxim Cournoyer <maxim.cournoyer@gmail.com> wrote:
>
>> tags 37790 notabug
>
> From my understanding, it is a "bug" as explained here:
>
> 1: <https://issues.guix.gnu.org/37790#2>
>
> Or at least an inconvenient behaviour. :-)

Sorry, I fail to see where is the bug :-). This is our the search-path
specifications have always worked; they work per profile and are
attached to the application acting as the "consumer" of the environment
variable it sets.

If we want to work on improving this we already have the following
issues opened awaiting work:

20255 'search-paths' should respect both user and system profile.

and somewhat related:

22138 Search paths of dependencies are not honored

Thanks,

Maxim
?
Your comment

This issue is archived.

To comment on this conversation send an email to 37790@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 37790
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch