From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: Collect guix profiles in single directory. Date: Wed, 08 Jan 2020 12:25:44 +0100 Message-ID: <87blrefavb.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:51823) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ip9TY-0000Cz-6E for guix-devel@gnu.org; Wed, 08 Jan 2020 06:26:13 -0500 In-Reply-To: (Leo Prikler's message of "Mon, 23 Dec 2019 11:59:45 +0100") 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-mx.org@gnu.org Sender: "Guix-devel" To: Leo Prikler Cc: guix-devel@gnu.org Hi Leo, Leo Prikler skribis: > currently, our configuration is (more or less true to XDG) scattered > around various places. Even if one does not make use of more advanced > features, one will at least have two profiles: > - ~/.config/guix/current > - ~/.guix-profile > If one does have more configuration data, the channels.scm must be put > under ~/$XDG_CONFIG_HOME/guix/. Note, that this need not be > ~/.config/guix, but most likely is. If one wishes to use more than one > profile, so as to keep the build times for each shorter, one has to > write custom code and can not rely on /etc/profile. > > This is a proposal to change the current approach. Instead of > splitting Guix config in a way that tries to conform to XDG, but does > not really, I propose to use a single directory ~/.guix for all > configuration. > This includes: > - ~/.guix/channels.scm > - ~/.guix/channels (instead of ~/.guix/current, to match the name > channels.scm) > - ~/.guix/profile > - user-generated profiles To me, the most important aspect of your proposal is having all profiles in one place (Konrad proposed something similar recently, well, =E2=80=9Cla= st year.=E2=80=9D :-)) Like I wrote then, =E2=80=98guix package --list-profiles=E2=80=99 was an at= tempt at making it easier to locate profiles, even if they=E2=80=99re not in the same directory, so that you can easily operate on them. What Konrad noted is that this returns all the profiles, including ~/.config/guix/current-kind of profiles, which may be inconvenient. I=E2=80=99m generally wary of enforcing arbitrary conventions, such as a specific directory to store all profiles, but at the same time I agree that this can be convenient, so I=E2=80=99m a bit split! Also, such a change would need a transition plan: what does =E2=80=98-p=E2= =80=99 become, etc. Thoughts? Ludo=E2=80=99.