[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] $HOME/.guix-profile considered harmful.
From: |
Christopher Allan Webber |
Subject: |
Re: [PATCH] $HOME/.guix-profile considered harmful. |
Date: |
Mon, 12 Sep 2016 20:32:31 -0500 |
User-agent: |
mu4e 0.9.16; emacs 24.5.1 |
John Darrington writes:
> I have my /home NFS mounted (not uncommon in large networks, I think).
> Unfortunately this does not play nicely with guix's convention of setting
> $PATH &c to $HOME/.guix-profile and then linking $HOME/.guix-profile to
> %state-directory/profiles/per-user/$USER/guix_profile - for the obvious reason
> that %state-directory could be different on each workstation - in which case
> $HOME/.guix-profile will be a dead link.
>
> I'm not sure exactly what benefit the ~/.guix-profile convention brings us,
> except
> perhaps that it is easy to remember.
>
> I'd like to see the ability to have GuixSD deployable in medium-large
> intranets
> where home (and /var/mail) are remotely mounted filesystems. Hence I suggest
> that
> $HOME/.guix-profile is deprecated.
Hm, considered harmful, I dunno. It seems a bit strong! Something does
feel useful to me about having it in $HOME. It seems like the logical
place to me, since it's per-user.
But I can see the merits of moving it to the %state-directory.
Eventually Debian + Guix stopped working with my GuixSD setup. It might
have been nice to have a separate store location altogether.
Still, this switch feels very strange to me. $HOME feels... like the
right thing. Which I guess isn't a very good explaination.