unofficial mirror of bug-guix@gnu.org 
 help / color / mirror / code / Atom feed
* bug#30014: MANPATH prefers system profile over user profile
@ 2018-01-07 13:11 Marius Bakke
  2018-01-08  1:55 ` Chris Marusich
  0 siblings, 1 reply; 4+ messages in thread
From: Marius Bakke @ 2018-01-07 13:11 UTC (permalink / raw)
  To: 30014

[-- Attachment #1: Type: text/plain, Size: 157 bytes --]

MANPATH contains the system profile twice:

/run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#30014: MANPATH prefers system profile over user profile
  2018-01-07 13:11 bug#30014: MANPATH prefers system profile over user profile Marius Bakke
@ 2018-01-08  1:55 ` Chris Marusich
  2018-01-08 19:30   ` Marius Bakke
  0 siblings, 1 reply; 4+ messages in thread
From: Chris Marusich @ 2018-01-08  1:55 UTC (permalink / raw)
  To: Marius Bakke; +Cc: 30014

[-- Attachment #1: Type: text/plain, Size: 537 bytes --]

Marius Bakke <mbakke@fastmail.com> 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

What do you think?  Should we treat this as a separate issue, or do you
think this should be closed as a duplicate of 23118?

-- 
Chris

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#30014: MANPATH prefers system profile over user profile
  2018-01-08  1:55 ` Chris Marusich
@ 2018-01-08 19:30   ` Marius Bakke
  2018-01-13 14:08     ` Ludovic Courtès
  0 siblings, 1 reply; 4+ messages in thread
From: Marius Bakke @ 2018-01-08 19:30 UTC (permalink / raw)
  To: Chris Marusich; +Cc: 30014-close

[-- Attachment #1: Type: text/plain, Size: 666 bytes --]

Chris Marusich <cmmarusich@gmail.com> writes:

> Marius Bakke <mbakke@fastmail.com> 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.

> What do you think?  Should we treat this as a separate issue, or do you
> think this should be closed as a duplicate of 23118?

Let's close this in favor of your much better report :)

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#30014: MANPATH prefers system profile over user profile
  2018-01-08 19:30   ` Marius Bakke
@ 2018-01-13 14:08     ` Ludovic Courtès
  0 siblings, 0 replies; 4+ messages in thread
From: Ludovic Courtès @ 2018-01-13 14:08 UTC (permalink / raw)
  To: 30014

Marius Bakke <mbakke@fastmail.com> skribis:

> Chris Marusich <cmmarusich@gmail.com> writes:
>
>> Marius Bakke <mbakke@fastmail.com> 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’.

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2018-01-13 14:09 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-07 13:11 bug#30014: MANPATH prefers system profile over user profile Marius Bakke
2018-01-08  1:55 ` Chris Marusich
2018-01-08 19:30   ` Marius Bakke
2018-01-13 14:08     ` Ludovic Courtès

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).