GNU bug report logs

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

PackageSource(s)Maintainer(s)
guix PTS Buildd Popcon
Full log

Message #151 received at 20255@debbugs.gnu.org (full text, mbox, reply):

Received: (at 20255) by debbugs.gnu.org; 17 May 2023 14:04:27 +0000
From debbugs-submit-bounces@debbugs.gnu.org Wed May 17 10:04:27 2023
Received: from localhost ([127.0.0.1]:50518 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1pzHlT-00029H-Af
	for submit@debbugs.gnu.org; Wed, 17 May 2023 10:04:27 -0400
Received: from mail.envs.net ([5.199.136.28]:38260)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <iyzsong@envs.net>) id 1pzHlR-000298-Oo
 for 20255@debbugs.gnu.org; Wed, 17 May 2023 10:04:26 -0400
Received: from localhost (mail.envs.net [127.0.0.1])
 by mail.envs.net (Postfix) with ESMTP id 4026338A1436;
 Wed, 17 May 2023 14:04:25 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa;
 t=1684332265; bh=YP2DkoVYFV4PeI6NhD8VZsmXIRRZDMihEIw6QFO7I3s=;
 h=From:To:Cc:Subject:Date:In-Reply-To:References:From;
 b=E/FDCfaDlAw+HVun+YiqnmAqfXrH95fpDncQhm0hnvfIu7Ro55dBMNs+T8jyLmUxU
 Jo28I7vsVIZvjCwsoefmUnJ+0FIFf1lIfnlxGyo7jvIXWZDoAdVEIaOlUS2jUvwwig
 M97bi7J86TWRuS4CGcSvcg1ds1giJ+RMaDvcKK14BdjQNN2Wcp4xPqFpN7qH7YjZ3v
 OqFQMgP7LE35L7+k2kmUcFOiqT6sjta9IMxZ/fUT5ppZV2eKaFISb5ik/GMesVaQSQ
 1wrMbx+2T7m0vkaLb4SAeeY9x7epheaBPfwmAphwxC6CfsrlkLlX3yKpdym8Ga/Wnf
 2nOjBJIQIsRqkPgjsyG9gd9qbru1YR3CddDE4ilPcotgFayT0Yxi5p0jbCX1o5cldo
 eaW798IGT6QXRxWaqN3yWfU26Vq7KAFrWS1YlW8J/T4jnQh0ANJ4tajEb9XtWhNUQS
 Iu7SG8aXM78Udm5dpFtVMNbommNPMMRmYsL6OYAzfVD8ie2NJytVg8E0cGBVDj8xm5
 OFakjBMAOaXSmvmk1Sa0ZSKGUyExbMS6omRXypleI1YzJoBkAcbns1/eMNoAYuSuWX
 8tc1SUN1E7ktZmIT8Iudd5uKturGjvoJLcn0hcfZb0gYiCfrcTBofGuVBjX4OVqUK6
 2YhhqWd592y1J/DQAjNyqgS0=
X-Virus-Scanned: Debian amavisd-new at mail.envs.net
Received: from mail.envs.net ([127.0.0.1])
 by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026)
 with ESMTP id SZdiYRM71J3d; Wed, 17 May 2023 14:04:22 +0000 (UTC)
Received: from localhost (unknown [36.170.57.133])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest
 SHA256) (No client certificate requested)
 by mail.envs.net (Postfix) with ESMTPSA;
 Wed, 17 May 2023 14:04:21 +0000 (UTC)
Received: from localhost.localdomain (localhost [127.0.0.1])
 by localhost (OpenSMTPD) with ESMTP id dcd4eb43;
 Wed, 17 May 2023 14:04:19 +0000 (UTC)
From: iyzsong@envs.net
To: 20255@debbugs.gnu.org
Subject: [PATCH 3/4] system: Only source system profile's settings in
 '/etc/profile'.
Date: Wed, 17 May 2023 22:04:10 +0800
Message-Id: <2e888b4d07c67ad74fbb4ec9afb812a236852027.1684331588.git.iyzsong@member.fsf.org>
X-Mailer: git-send-email 2.40.1
In-Reply-To: <10665650174637a1b70629b864509a0a68920154.1684331588.git.iyzsong@member.fsf.org>
References: <10665650174637a1b70629b864509a0a68920154.1684331588.git.iyzsong@member.fsf.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 20255
Cc: 宋文武 <iyzsong@member.fsf.org>
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

From: 宋文武 <iyzsong@member.fsf.org>

This is a followup to 40310efde9b4a4f2cf98081d6cd10f843685ebb6.

* gnu/system.scm (operating-system-etc-service)[profile]:
Don't source profile of '~/.guix-profile' and '~/.config/guix/current'.
---
 gnu/system.scm | 23 ++++-------------------
 1 file changed, 4 insertions(+), 19 deletions(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index 354f58f55b..a48c206e18 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -1009,8 +1009,8 @@ (define* (operating-system-etc-service os)
         ;; environment variables.
         (profile    (mixed-text-file "profile"  "\
 # Crucial variables that could be missing in the profiles' 'etc/profile'
-# because they would require combining both profiles.
-# FIXME: See <http://bugs.gnu.org/20255>.
+# because they would require honoring search paths of dependencies.
+# FIXME: See <http://bugs.gnu.org/22138>.
 export MANPATH=$HOME/.guix-profile/share/man:/run/current-system/profile/share/man
 export INFOPATH=$HOME/.guix-profile/share/info:/run/current-system/profile/share/info
 export XDG_DATA_DIRS=$HOME/.guix-profile/share:/run/current-system/profile/share
@@ -1037,27 +1037,12 @@ (define* (operating-system-etc-service os)
   export `cat /etc/environment | cut -d= -f1`
 fi
 
-# Arrange so that ~/.config/guix/current comes first.
-for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\"
-do
-  if [ -f \"$profile/etc/profile\" ]
-  then
-    # Load the user profile's settings.
-    GUIX_PROFILE=\"$profile\" ; \\
-    . \"$profile/etc/profile\"
-  else
-    # At least define this one so that basic things just work
-    # when the user installs their first package.
-    export PATH=\"$profile/bin:$PATH\"
-  fi
-done
+# Make basic things just work when the user installs their first package.
+export PATH=\"$HOME/.config/guix/current/bin:$HOME/.guix-profile/bin:$PATH\"
 
 # Prepend setuid programs.
 export PATH=/run/setuid-programs:$PATH
 
-# Arrange so that ~/.config/guix/current/share/info comes first.
-export INFOPATH=\"$HOME/.config/guix/current/share/info:$INFOPATH\"
-
 # Set the umask, notably for users logging in via 'lsh'.
 # See <http://bugs.gnu.org/22650>.
 umask 022
-- 
2.40.1

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Sep 7 12:54:11 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.