From mboxrd@z Thu Jan 1 00:00:00 1970 From: 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 Date: Tue, 12 Jun 2018 15:54:37 +0200 Message-ID: <87fu1sp0te.fsf@gnu.org> References: <87y3fogt8e.fsf@gnu.org> <87fu1wyr3i.fsf@member.fsf.org> <878t7me8rq.fsf@gnu.org> <87efhdwoku.fsf@member.fsf.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40149) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fSjl6-0004ys-KB for guix-devel@gnu.org; Tue, 12 Jun 2018 09:54:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fSjl3-0005cP-G8 for guix-devel@gnu.org; Tue, 12 Jun 2018 09:54:52 -0400 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") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: =?utf-8?B?5a6L5paH5q2m?= Cc: guix-devel , 31770-done@debbugs.gnu.org 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.