From unknown Tue Jun 17 22:28:13 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31770: New =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99_?= =?UTF-8?Q?dosen=E2=80=99t?= update the guix manual in GuixSD Resent-From: iyzsong@member.fsf.org (=?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 09 Jun 2018 14:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 31770 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Cc: guix-devel@gnu.org, 31770@debbugs.gnu.org X-Debbugs-Original-Cc: guix-devel , bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.152855438023740 (code B ref -1); Sat, 09 Jun 2018 14:27:02 +0000 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?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) 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-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 unknown Tue Jun 17 22:28:13 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31770: New =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99_?= =?UTF-8?Q?dosen=E2=80=99t?= update the guix manual in GuixSD Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sun, 10 Jun 2018 19:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31770 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: iyzsong@member.fsf.org (=?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) Cc: guix-devel , 31770@debbugs.gnu.org Received: via spool by 31770-submit@debbugs.gnu.org id=B31770.15286592369016 (code B ref 31770); Sun, 10 Jun 2018 19:34:02 +0000 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?=) 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?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?="'s 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-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 unknown Tue Jun 17 22:28:13 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31770: New =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99_?= =?UTF-8?Q?dosen=E2=80=99t?= update the guix manual in GuixSD Resent-From: iyzsong@member.fsf.org (=?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 11 Jun 2018 11:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31770 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Cc: guix-devel , 31770@debbugs.gnu.org Received: via spool by 31770-submit@debbugs.gnu.org id=B31770.152871648911689 (code B ref 31770); Mon, 11 Jun 2018 11:29:01 +0000 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?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) 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 =?UTF-8?Q?Court=C3=A8s?=) writes: >> The last there are from the =?UTF-8?Q?=E2=80=98export=E2=80=99?= statement of =?UTF-8?Q?=E2=80=98/etc/profile=E2=80=99,?= the >> first two are added by =?UTF-8?Q?=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 =?UTF-8?Q?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=$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-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 unknown Tue Jun 17 22:28:13 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: iyzsong@member.fsf.org (=?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?=) Subject: bug#31770: closed (Re: New =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?pull=E2=80=99_?= =?UTF-8?Q?dosen=E2=80=99t?= update the guix manual in GuixSD) Message-ID: References: <87fu1sp0te.fsf@gnu.org> <87fu1wyr3i.fsf@member.fsf.org> X-Gnu-PR-Message: they-closed 31770 X-Gnu-PR-Package: guix Reply-To: 31770@debbugs.gnu.org Date: Tue, 12 Jun 2018 13:55:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1528811702-27942-1" This is a multi-part message in MIME format... ------------=_1528811702-27942-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #31770: New =E2=80=98guix pull=E2=80=99 dosen=E2=80=99t update the guix man= ual in GuixSD which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 31770@debbugs.gnu.org. --=20 31770: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D31770 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1528811702-27942-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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. ------------=_1528811702-27942-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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. ------------=_1528811702-27942-1--