Re: [PATCH] $HOME/.guix-profile considered harmful.

[Christopher Allan Webber]

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.