From mboxrd@z Thu Jan 1 00:00:00 1970 From: Christopher Allan Webber Subject: Re: [PATCH] $HOME/.guix-profile considered harmful. Date: Mon, 12 Sep 2016 20:32:31 -0500 Message-ID: <87k2eg4ma8.fsf@dustycloud.org> References: <1473704299-8703-1-git-send-email-jmd@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42508) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bjcal-0000HR-7d for guix-devel@gnu.org; Mon, 12 Sep 2016 21:32:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bjcai-0006so-0f for guix-devel@gnu.org; Mon, 12 Sep 2016 21:32:55 -0400 In-reply-to: <1473704299-8703-1-git-send-email-jmd@gnu.org> 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: John Darrington Cc: guix-devel@gnu.org 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.