[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Collect guix profiles in single directory.
From: |
Leo Prikler |
Subject: |
Re: Collect guix profiles in single directory. |
Date: |
Tue, 07 Jan 2020 14:02:17 +0100 |
User-agent: |
Evolution 3.32.4 |
Am Montag, den 06.01.2020, 19:55 +0100 schrieb zimoun:
> Hi,
>
> On Mon, 23 Dec 2019 at 12:00, Leo Prikler <
> address@hidden> 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
- Re: Collect guix profiles in single directory., zimoun, 2020/01/06
- Re: Collect guix profiles in single directory., Pierre Neidhardt, 2020/01/06
- Re: Collect guix profiles in single directory., Ludovic Courtès, 2020/01/08
- Re: Collect guix profiles in single directory., Leo Prikler, 2020/01/08
- Re: Collect guix profiles in single directory., Pierre Neidhardt, 2020/01/08
- Re: Collect guix profiles in single directory., Pierre Neidhardt, 2020/01/30
- Re: [ SPAM? ] Re: Collect guix profiles in single directory., Leo Prikler, 2020/01/30
- Re: [ SPAM? ] Re: Collect guix profiles in single directory., Pierre Neidhardt, 2020/01/31
- Re: [ SPAM? ] Re: Collect guix profiles in single directory., zimoun, 2020/01/31
- Re: Collect guix profiles in single directory., Leo Prikler, 2020/01/31