From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Prikler Subject: Re: Collect guix profiles in single directory. Date: Tue, 07 Jan 2020 14:02:17 +0100 Message-ID: <1e4a2e08dd77b7d628eecc5180946de031f85267.camel@student.tugraz.at> References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:38093) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iooUz-0001CP-1w for guix-devel@gnu.org; Tue, 07 Jan 2020 08:02:18 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iooUw-0006Jn-JK for guix-devel@gnu.org; Tue, 07 Jan 2020 08:02:16 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:51034) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iooUw-0006FZ-1t for guix-devel@gnu.org; Tue, 07 Jan 2020 08:02:14 -0500 In-Reply-To: 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: zimoun Cc: Guix Devel Am Montag, den 06.01.2020, 19:55 +0100 schrieb zimoun: > Hi, > > On Mon, 23 Dec 2019 at 12:00, Leo Prikler < > leo.prikler@student.tugraz.at> wrote: > > > > 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. > > Maybe I misread something but instead I would prefer to move > ~/.guix-profile under XDG standard, i.e., > - ~/.config/guix/current (or whatever name remembering it is used by > "guix pull") > - ~/.config/guix/default (or 'profile') playing the role of ~/.guix- > profile You didn't really misread anything, my argument for guix "not really" conforming to XDG standards is twofold: 1. it does not take into account $XDG_CONFIG_DIR, which could (in theory) be set to something different than ~/.config 2. the current `guix pull` state is not configuration, but data, and as such would be put into ~/.local/share normally (which is not preferrable, because of the long typing). Another suggestion I've heard on IRC was ~/.local/guix as a compromise between ~/.guix and ~/.local/share/guix. My personal preference is towards ~/.guix/, as ~/.guix/profile has the same length as ~/.guix- profile, but again emphasis on the words "personal" and "preference", meaning I am aware that this is not shared by everyone. Perhaps we can also use a variable like $GUIX_PROFILE_DIR to indicate where profiles should be stored. That way, I could set mine under ~/.guix, you could set yours under ~/.config/guix and XDG purists could set theirs under $XDG_DATA_HOME/guix. > (Personally, I prefer having my profile living in the folders of my > projects, but that another story. ;-) Project profiles would not go away with this suggestion. It is merely meant for people, who split their "default profile" over multiple profiles (for performance reasons or otherwise). Regards, Leo