From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 09 10:26:20 2018 Received: (at submit) by debbugs.gnu.org; 9 Jun 2018 14:26:20 +0000 Received: from localhost ([127.0.0.1]:41421 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fReou-0006Aq-BV for submit@debbugs.gnu.org; Sat, 09 Jun 2018 10:26:20 -0400 Received: from eggs.gnu.org ([208.118.235.92]:39899) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fReos-0006Ae-J4 for submit@debbugs.gnu.org; Sat, 09 Jun 2018 10:26:18 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fReom-0005QG-5j for submit@debbugs.gnu.org; Sat, 09 Jun 2018 10:26:13 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FROM_EXCESS_BASE64 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49404) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fReom-0005QA-2P for submit@debbugs.gnu.org; Sat, 09 Jun 2018 10:26:12 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59084) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fReok-00016G-Su for bug-guix@gnu.org; Sat, 09 Jun 2018 10:26:11 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fReoj-0005PV-SJ for bug-guix@gnu.org; Sat, 09 Jun 2018 10:26:10 -0400 Received: from rezeros.cc ([2001:19f0:7001:2f3e:5400:ff:fe84:e55d]:51312) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fReoe-0005M0-OJ; Sat, 09 Jun 2018 10:26:05 -0400 Received: from localhost (223.87.207.28 [223.87.207.28]) by rezeros.cc (OpenSMTPD) with ESMTPSA id 5fdf6b92 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 9 Jun 2018 14:25:59 +0000 (UTC) Received: from gift (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 618b61db; Sat, 9 Jun 2018 14:25:21 +0000 (UTC) From: iyzsong@member.fsf.org (=?utf-8?B?5a6L5paH5q2m?=) To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: New =?utf-8?Q?=E2=80=98guix_pull=E2=80=99_dosen=E2=80=99t?= update the guix manual in GuixSD References: <87y3fogt8e.fsf@gnu.org> Date: Sat, 09 Jun 2018 22:25:21 +0800 In-Reply-To: <87y3fogt8e.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sat, 09 Jun 2018 12:16:33 +0200") Message-ID: <87fu1wyr3i.fsf@member.fsf.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.9 (----) X-Debbugs-Envelope-To: submit Cc: guix-devel , bug-guix@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.9 (-----) ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hello Guix! > > For those who haven=E2=80=99t been following along on > , I have just > pushed a new =E2=80=98guix pull=E2=80=99. > > To summarize, ~/.config/guix/latest no longer exists. Instead > ~/.config/guix/current is populated with a complete Guix (without > =E2=80=98guix-daemon=E2=80=99 though), including an up-to-date manual and= so on. > ~/.config/guix/current is a regular profile, meaning that you can > roll-back to a previously-pulled Guix and so on. Great! After run =E2=80=98guix pull=E2=80=99 twice, I have got =E2=80=98~/.config/= guix/current=E2=80=99, then use it to do a system reconfigure for =E2=80=98/etc/profile=E2=80=99. But the guix manual doesn=E2=80=99t got updated, my =E2=80=98INFOPATH=E2=80= =99 contains: - /home/iyzsong/.guix-profile/share/info - /run/current-system/profile/share/info - /home/iyzsong/.config/guix/current/share/info - /home/iyzsong/.guix-profile/share/info - /run/current-system/profile/share/info The last there are from the =E2=80=98export=E2=80=99 statement of =E2=80=98= /etc/profile=E2=80=99, the first two are added by =E2=80=98source=E2=80=99 the profiles. Since there = is a guix in the system profile contains the old info manual, the current one won=E2=80= =99t be picked. I think we should make =E2=80=98INFOPATH=E2=80=99 a search path of the =E2= =80=98current=E2=80=99 guix profile, so that it overrides previous ones. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 10 15:33:56 2018 Received: (at 31770) by debbugs.gnu.org; 10 Jun 2018 19:33:56 +0000 Received: from localhost ([127.0.0.1]:42563 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fS667-0002LL-TD for submit@debbugs.gnu.org; Sun, 10 Jun 2018 15:33:56 -0400 Received: from eggs.gnu.org ([208.118.235.92]:48130) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fS666-0002L8-87 for 31770@debbugs.gnu.org; Sun, 10 Jun 2018 15:33:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fS65z-0007JK-NG for 31770@debbugs.gnu.org; Sun, 10 Jun 2018 15:33:49 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34239) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fS65z-0007JC-I2; Sun, 10 Jun 2018 15:33:47 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=53124 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fS65z-0003l1-0W; Sun, 10 Jun 2018 15:33:47 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: iyzsong@member.fsf.org (=?utf-8?B?5a6L5paH5q2m?=) Subject: Re: New =?utf-8?Q?=E2=80=98guix_pull=E2=80=99_dosen=E2=80=99t?= update the guix manual in GuixSD References: <87y3fogt8e.fsf@gnu.org> <87fu1wyr3i.fsf@member.fsf.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 22 Prairial an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sun, 10 Jun 2018 21:33:45 +0200 In-Reply-To: <87fu1wyr3i.fsf@member.fsf.org> (=?utf-8?B?IuWui+aWh+atpiIn?= =?utf-8?B?cw==?= message of "Sat, 09 Jun 2018 22:25:21 +0800") Message-ID: <878t7me8rq.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31770 Cc: guix-devel , 31770@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello =E5=AE=8B=E6=96=87=E6=AD=A6! iyzsong@member.fsf.org (=E5=AE=8B=E6=96=87=E6=AD=A6) skribis: > After run =E2=80=98guix pull=E2=80=99 twice, I have got =E2=80=98~/.confi= g/guix/current=E2=80=99, then > use it to do a system reconfigure for =E2=80=98/etc/profile=E2=80=99. > > But the guix manual doesn=E2=80=99t got updated, my =E2=80=98INFOPATH=E2= =80=99 contains: > > - /home/iyzsong/.guix-profile/share/info > - /run/current-system/profile/share/info > - /home/iyzsong/.config/guix/current/share/info > - /home/iyzsong/.guix-profile/share/info > - /run/current-system/profile/share/info > > The last there are from the =E2=80=98export=E2=80=99 statement of =E2=80= =98/etc/profile=E2=80=99, the > first two are added by =E2=80=98source=E2=80=99 the profiles. Since ther= e is a guix in > the system profile contains the old info manual, the current one won=E2= =80=99t > be picked. Ooh! I think the change below should be enough to ensure ~/.config/guix/current comes first: --=-=-= Content-Type: text/x-patch Content-Disposition: inline --- a/gnu/system.scm +++ b/gnu/system.scm @@ -602,7 +602,7 @@ directory." # because they would require combining both profiles. # FIXME: See . export MANPATH=$HOME/.guix-profile/share/man:/run/current-system/profile/share/man -export INFOPATH=$HOME/.config/guix/current/share/info:$HOME/.guix-profile/share/info:/run/current-system/profile/share/info +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 export XDG_CONFIG_DIRS=$HOME/.guix-profile/etc/xdg:/run/current-system/profile/etc/xdg @@ -630,7 +630,7 @@ then export `cat /etc/environment | cut -d= -f1` fi -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\" +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\" do if [ -f \"$profile/etc/profile\" ] then @@ -644,6 +644,8 @@ do fi done +export INFOPATH=\"$HOME/.config/guix/current/share/info:$INFOPATH\" + # Set the umask, notably for users logging in via 'lsh'. # See . umask 022 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable How does that sound? (Note that in the meantime you can always work around the bug by using =E2=80=98info -f ~/.config/guix/current/share/info/guix.info=E2=80=99 or = =E2=80=98C-u C-h i =E2=80=A6=E2=80=99 in Emacs.) Thanks for the heads-up! Ludo=E2=80=99. --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 11 07:28:08 2018 Received: (at 31770) by debbugs.gnu.org; 11 Jun 2018 11:28:09 +0000 Received: from localhost ([127.0.0.1]:42823 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fSKzY-00032S-M8 for submit@debbugs.gnu.org; Mon, 11 Jun 2018 07:28:08 -0400 Received: from rezeros.cc ([45.76.207.221]:34258) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fSKzW-00032J-B6 for 31770@debbugs.gnu.org; Mon, 11 Jun 2018 07:28:07 -0400 Received: from localhost (223.87.207.28 [223.87.207.28]) by rezeros.cc (OpenSMTPD) with ESMTPSA id 29548277 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 11 Jun 2018 11:28:01 +0000 (UTC) Received: from gift (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 540ab04a; Mon, 11 Jun 2018 11:27:13 +0000 (UTC) From: iyzsong@member.fsf.org (=?utf-8?B?5a6L5paH5q2m?=) To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: New =?utf-8?Q?=E2=80=98guix_pull=E2=80=99_dosen=E2=80=99t?= update the guix manual in GuixSD References: <87y3fogt8e.fsf@gnu.org> <87fu1wyr3i.fsf@member.fsf.org> <878t7me8rq.fsf@gnu.org> Date: Mon, 11 Jun 2018 19:27:13 +0800 In-Reply-To: <878t7me8rq.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sun, 10 Jun 2018 21:33:45 +0200") Message-ID: <87efhdwoku.fsf@member.fsf.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.1 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: ludo@gnu.org (Ludovic Courtès) writes: >> The last there are from the ‘export’ statement of ‘/etc/profile’, the >> first two are added by ‘source’ the profiles. Since there is a guix in >> the system profile contains the old info manual, the current one won’t >> be picked. > > Ooh! I think the change below should be enough to ensure > ~/.config/guix/current comes first: > > --- a/gnu/system.scm > +++ b/gnu/system.scm > @@ -602,7 +602,7 @@ directory." > # because they would require combining both profiles. > # FIXME: See . > export MANPATH=$HOME/.guix-profile/share/man:/run/current-system/profile/share/man > -export INFOPATH=$HOME/.config/guix/current/share/info:$HOME/.guix-profile/share/info:/run/current-system/profile/share/info > +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 > export XDG_CONFIG_DIRS=$HOME/.guix-profile/etc/xdg:/run/current-system/profile/etc/xdg > > @@ -630,7 +630,7 @@ then > export `cat /etc/environment | cut -d= -f1` > fi > > -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\" > +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\" > do > if [ -f \"$profile/etc/profile\" ] > then > @@ -644,6 +644,8 @@ do > fi > done > > +export INFOPATH=\"$HOME/.config/guix/current/share/info:$INFOPATH\" > + > # Set the umask, notably for users logging in via 'lsh'. > # See . > umask 022 > > > How does that sound? [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.1 FROM_EXCESS_BASE64 From: base64 encoded unnecessarily X-Debbugs-Envelope-To: 31770 Cc: guix-devel , 31770@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.1 (/) ludo@gnu.org (Ludovic Court=C3=A8s) writes: >> The last there are from the =E2=80=98export=E2=80=99 statement of =E2=80= =98/etc/profile=E2=80=99, the >> first two are added by =E2=80=98source=E2=80=99 the profiles. Since the= re is a guix in >> the system profile contains the old info manual, the current one won=E2= =80=99t >> be picked. > > Ooh! I think the change below should be enough to ensure > ~/.config/guix/current comes first: > > --- a/gnu/system.scm > +++ b/gnu/system.scm > @@ -602,7 +602,7 @@ directory." > # because they would require combining both profiles. > # FIXME: See . > export MANPATH=3D$HOME/.guix-profile/share/man:/run/current-system/profi= le/share/man > -export INFOPATH=3D$HOME/.config/guix/current/share/info:$HOME/.guix-prof= ile/share/info:/run/current-system/profile/share/info > +export INFOPATH=3D$HOME/.guix-profile/share/info:/run/current-system/pro= file/share/info > export XDG_DATA_DIRS=3D$HOME/.guix-profile/share:/run/current-system/pro= file/share > export XDG_CONFIG_DIRS=3D$HOME/.guix-profile/etc/xdg:/run/current-system= /profile/etc/xdg >=20=20 > @@ -630,7 +630,7 @@ then > export `cat /etc/environment | cut -d=3D -f1` > fi >=20=20 > -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\" > +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\" > do > if [ -f \"$profile/etc/profile\" ] > then > @@ -644,6 +644,8 @@ do > fi > done >=20=20 > +export INFOPATH=3D\"$HOME/.config/guix/current/share/info:$INFOPATH\" > + > # Set the umask, notably for users logging in via 'lsh'. > # See . > umask 022 > > > How does that sound? Yeah, that's fine. Maybe add comments about why source =E2=80=98current=E2= =80=99 after user profile (prefer current guix) and why =E2=80=98export INFOPATH=E2=80= =99 at the end (prefer the current guix manual). Thank you! From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 12 09:54:51 2018 Received: (at 31770-done) by debbugs.gnu.org; 12 Jun 2018 13:54:51 +0000 Received: from localhost ([127.0.0.1]:44278 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fSjl5-0007G9-48 for submit@debbugs.gnu.org; Tue, 12 Jun 2018 09:54:51 -0400 Received: from eggs.gnu.org ([208.118.235.92]:49124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fSjl2-0007Fu-TP for 31770-done@debbugs.gnu.org; Tue, 12 Jun 2018 09:54:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fSjkt-0005Ua-IY for 31770-done@debbugs.gnu.org; Tue, 12 Jun 2018 09:54:43 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:37346) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fSjkt-0005UT-Eh; Tue, 12 Jun 2018 09:54:39 -0400 Received: from [193.50.110.75] (port=35698 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fSjkt-000272-0P; Tue, 12 Jun 2018 09:54:39 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: iyzsong@member.fsf.org (=?utf-8?B?5a6L5paH5q2m?=) Subject: Re: New =?utf-8?Q?=E2=80=98guix_pull=E2=80=99_dosen=E2=80=99t?= update the guix manual in GuixSD References: <87y3fogt8e.fsf@gnu.org> <87fu1wyr3i.fsf@member.fsf.org> <878t7me8rq.fsf@gnu.org> <87efhdwoku.fsf@member.fsf.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 24 Prairial an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 12 Jun 2018 15:54:37 +0200 In-Reply-To: <87efhdwoku.fsf@member.fsf.org> (=?utf-8?B?IuWui+aWh+atpiIn?= =?utf-8?B?cw==?= message of "Mon, 11 Jun 2018 19:27:13 +0800") Message-ID: <87fu1sp0te.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31770-done Cc: guix-devel , 31770-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) iyzsong@member.fsf.org (=E5=AE=8B=E6=96=87=E6=AD=A6) skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: [...] >> -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\" >> +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\" >> do >> if [ -f \"$profile/etc/profile\" ] >> then >> @@ -644,6 +644,8 @@ do >> fi >> done >>=20=20 >> +export INFOPATH=3D\"$HOME/.config/guix/current/share/info:$INFOPATH\" >> + >> # Set the umask, notably for users logging in via 'lsh'. >> # See . >> umask 022 >> >> >> How does that sound? > > Yeah, that's fine. Maybe add comments about why source =E2=80=98current= =E2=80=99 after > user profile (prefer current guix) and why =E2=80=98export INFOPATH=E2=80= =99 at the end > (prefer the current guix manual). Thank you! Good idea. Pushed as 8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0, thanks! Ludo=E2=80=99. From unknown Sun Jun 22 04:29:43 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 11 Jul 2018 11:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator