From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vincent Legoll Subject: Re: [PATCH] $HOME/.guix-profile considered harmful. Date: Tue, 13 Sep 2016 10:35:57 +0200 Message-ID: References: <1473704299-8703-1-git-send-email-jmd@gnu.org> <87k2eg4ma8.fsf@dustycloud.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37151) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bjjDb-0007YL-Cg for guix-devel@gnu.org; Tue, 13 Sep 2016 04:37:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bjjDZ-00073Y-Gc for guix-devel@gnu.org; Tue, 13 Sep 2016 04:37:26 -0400 In-Reply-To: <87k2eg4ma8.fsf@dustycloud.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: Christopher Allan Webber Cc: guix-devel , John Darrington > 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. It's a good thing for the user to have, but IMHO it's also a good thing that the system do not rely on it being there, and only rely on %state-directory. I think the patch is a good idea, but I wouldn't remove the $HOME/.guix-profile symlink. So you keep the best of both worlds. Just my uneducated 2cts feeling... -- Vincent Legoll