From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#22629: [PATCH 0/4] 'guix pull' produces a self-contained Guix Date: Fri, 01 Jun 2018 14:11:49 +0200 Message-ID: <87po1aaepm.fsf@gnu.org> References: <87fu45ve2z.fsf@gnu.org> <20180531144337.16298-1-ludo@gnu.org> <878t7zps7t.fsf@elephly.net> 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]:33074) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fOiva-0007Nv-Tn for bug-guix@gnu.org; Fri, 01 Jun 2018 08:13:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fOivW-0000ge-Ph for bug-guix@gnu.org; Fri, 01 Jun 2018 08:13:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:49005) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fOivW-0000gY-Lq for bug-guix@gnu.org; Fri, 01 Jun 2018 08:13:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fOivW-0006bi-GK for bug-guix@gnu.org; Fri, 01 Jun 2018 08:13:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <878t7zps7t.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 31 May 2018 20:58:46 +0200") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ricardo Wurmus Cc: 22629@debbugs.gnu.org Hello! Ricardo Wurmus skribis: >> The result of running =E2=80=98guix pull=E2=80=99 is a =E2=80=9Cpro= file=E2=80=9D available under >> =E2=80=98~/.config/guix/current=E2=80=99 containing the latest Guix. = Thus, make sure to >> add it to the beginning of your search path so that you use the latest >> version, and similarly for the Info manual (*note Documentation::): >> >> export PATH=3D"$HOME/.config/guix/current/bin:$PATH" >> export INFOPATH=3D"$HOME/.config/guix/current/share/info:$INFOPAT= H" > > As a profile it will have its very own =E2=80=9Cetc/profile=E2=80=9D file= . I suppose > that doesn=E2=80=99t include INFOPATH, though, because it only contains a= n Info > manual but not an Info reader. It would be extra nice if we could > simplify this initial setup even more. I agree. On GuixSD of course we can add the right default. On foreign distros, I=E2=80=99m not sure how we can simplify things though. At least, when you run the new =E2=80=98guix pull=E2=80=99 for the first ti= me, you get a note that you should define PATH. >> This =E2=80=98~/.config/guix/current=E2=80=99 profile works like an= y other profile >> created by =E2=80=98guix package=E2=80=99 (*note Invoking guix package= ::). That is, you >> can list generations, roll back to the previous generation=E2=80=94i.e= ., the >> previous Guix=E2=80=94and so on: [...] > This also means that you could remove the =E2=80=9Cguix=E2=80=9D package = and install > =E2=80=9Chello=E2=80=9D instead. If a user did that they would lose thei= r variant of > guix and they=E2=80=99d fall back to whichever version is installed on the > system (if any). They could still roll back manually by changing the > symlink. > > They could also think that installing the =E2=80=9Cguix=E2=80=9D package = into that > profile would be a good idea =E2=80=94 but then they would end up with a > slightly older version of Guix. (This is already possible, of course, > but if we have a separate profile that=E2=80=99s intended just for Guix b= ut with > generic properties, this could become confusing.) > > I=E2=80=99m just thinking out loud about how users could get into trouble= :) Yeah well, we can=E2=80=99t really prevent them from shooting themselves in= the foot. :-) Now, we could hide the fact that people can use =E2=80=9Cguix package -p=E2= =80=9D on that thing by simply providing =E2=80=98--list-generations=E2=80=99, =E2=80= =98--roll-back=E2=80=99, etc. directly in =E2=80=98guix pull=E2=80=99. I think it=E2=80=99ll be a good idea to add a custom =E2=80=98--list-genera= tions=E2=80=99 in the future anyway, because it could display more useful information (commit IDs, number of available packages, etc.) >> 1. The ~/.config/guix/current profile really lives there. That is, >> unlike ~/.guix-profile, it=E2=80=99s not in /var/guix/profiles/per-= user. >> That could be an issue for cluster setups where home directories >> are not scanned by the Guix GC. Cluster folks, please tell me! > > Is it impossible to store it in localstatedir? It wouldn=E2=80=99t be hard, but I wanted to get things done quickly. :-) Thanks for your feedback! Ludo=E2=80=99.