From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#30014: MANPATH prefers system profile over user profile
Date: Sat, 13 Jan 2018 15:08:13 +0100
Message-ID: <87o9lxonqq.fsf@gnu.org>
References: <87lgh94xvj.fsf@fastmail.com> <87shbh15d8.fsf@gmail.com>
	<871sj0407t.fsf@fastmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39050)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1eaMUc-0006U2-4U
	for bug-guix@gnu.org; Sat, 13 Jan 2018 09:09:07 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1eaMUY-00048Q-V2
	for bug-guix@gnu.org; Sat, 13 Jan 2018 09:09:06 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:46602)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1eaMUY-00048D-QX
	for bug-guix@gnu.org; Sat, 13 Jan 2018 09:09:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1eaMUY-0005uK-Hm
	for bug-guix@gnu.org; Sat, 13 Jan 2018 09:09:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.30014.B30014.151585250022654@debbugs.gnu.org>
In-Reply-To: <871sj0407t.fsf@fastmail.com> (Marius Bakke's message of "Mon, 08
	Jan 2018 20:30:46 +0100")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: 30014@debbugs.gnu.org

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=3D23118
>
> 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=E2=80=99t think of a good solution here.  Thoughts?

Ludo=E2=80=99.