From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Kost Subject: Re: User-profile search paths should include system-profile directories Date: Thu, 15 Sep 2016 10:38:34 +0300 Message-ID: <87twdhobnp.fsf@gmail.com> References: <7tpoo7kk73.fsf@gmail.com> <87eg4mo7dp.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37480) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bkRH8-00047W-AW for guix-devel@gnu.org; Thu, 15 Sep 2016 03:40:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bkRH4-0001nf-B2 for guix-devel@gnu.org; Thu, 15 Sep 2016 03:40:02 -0400 In-Reply-To: <87eg4mo7dp.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Wed, 14 Sep 2016 16:58:42 +0200") 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: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Ludovic Court=C3=A8s (2016-09-14 16:58 +0200) wrote: > Hello, > > csanchezdll@gmail.com (Carlos S=C3=A1nchez de La Lama) skribis: > >> I have an interesting case here. I have guile installed in my system >> profile, so that >> >> /var/guix/profiles/system/profile/share/aclocal/guile.m4 >> >> is there. However, autoconf is installed in my *user* profile, so >> ACLOCAL_PATH is augmented in ~/.guix-profile/etc/profile to include >> >> ~/.guix-profile/share/aclocal >> >> But not the system-profile aclocal directory, which would be put into >> ACLOCAL_PATH by /var/guix/profiles/system/profile/etc/profile if >> autoconf was installed in the systme profile as well. >> >> Is this the intended behaviour? I am wondering whether packages with >> search paths should include both the user-profile directories and the >> system-profile ones. > > I think you=E2=80=99re right. This was discussed at > , leading to a patch (for GuixSD). > > However, we failed to build consensus around the approach of this patch, > so we did not apply it. If you have ideas, please email > 20255@debbugs.gnu.org. :-) I think I was the one who prevents the consensus. To make it clear, I'm for the suggested solution, but only *after* giving a user a freedom to avoid loading such a heavy command as "guix package --search-paths". On a "usual" GNU/Linux distro a user can edit /etc/profile, but on GuixSD it is not possible currently. That's why I think there should be provided a possibility to override /etc/profile at first. > One of the fruits of this discussion, though, is that you can do: > > guix package -p /run/current-system/profile -p ~/.guix-profile --search= -paths > > to get the combined search paths. This is what I do to combine my profiles (I don't use ~/.guix-profile but several other profiles instead). --=20 Alex