GNU bug report logs - #77817
[PATCH] guix-install.sh: fix removal of /etc/profile.d sh file.

Previous Next

Package: guix-patches;

Reported by: Cayetano Santos <csantosb <at> inventati.org>

Date: Tue, 15 Apr 2025 07:46:01 UTC

Severity: normal

Tags: patch

Done: Cayetano Santos <csantosb <at> inventati.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Cayetano Santos <csantosb <at> inventati.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#77817: closed ([PATCH] guix-install.sh: fix removal of
 /etc/profile.d sh file.)
Date: Thu, 17 Jul 2025 09:06:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Thu, 17 Jul 2025 11:05:43 +0200
with message-id <871pqfyyoo.fsf <at> inventati.org>
and subject line close
has caused the debbugs.gnu.org bug report #77817,
regarding [PATCH] guix-install.sh: fix removal of /etc/profile.d sh file.
to be marked as done.

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


-- 
77817: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=77817
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Cayetano Santos <csantosb <at> inventati.org>
To: guix-patches <at> gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH] guix-install.sh: fix removal of /etc/profile.d sh file.
Date: Tue, 15 Apr 2025 09:44:32 +0200
Change-Id: I244d819ada1553c5f050b0a50e19867777152f83
---
 etc/guix-install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index b5d833cd64..2944cb97f6 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -879,8 +879,8 @@ sys_maybe_setup_selinux()
 
 sys_delete_init_profile()
 {
-    _msg_info "removing /etc/profile.d/guix.sh"
-    rm -f /etc/profile.d/guix.sh
+    _msg_info "removing /etc/profile.d/zzz-guix.sh"
+    rm -f /etc/profile.d/zzz-guix.sh
 }
 
 sys_delete_user_profiles()

base-commit: 5b13aa9ea4f998f616c5354cae430e15ca60b5cd
-- 
2.49.0



[Message part 3 (message/rfc822, inline)]
From: Cayetano Santos <csantosb <at> inventati.org>
To: 77817-done <at> debbugs.gnu.org
Subject: close
Date: Thu, 17 Jul 2025 11:05:43 +0200
[Message part 4 (text/plain, inline)]
Already merged.
[signature.asc (application/pgp-signature, inline)]

This bug report was last modified 4 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.