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

[ludo@gnu.org (Ludovic Courtès)]

Hello,

John Darrington <jmd@gnu.org> skribis:

> 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.

It’s true that %state-directory could differ on each machine.  I think
it’s uncommon though.

I understand your concern, but I agree with Ricardo that what you
suggest is not strictly required: commonly (my guess), people having
/home on NFS won’t have the problem you describe.

> I'm not sure exactly what benefit the ~/.guix-profile convention brings us, except
> perhaps that it is easy to remember.

… and easy to type, and quite “natural”.  These are the main reasons I
guess, but they’re quite important.

Thoughts?

Ludo’.