From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 12 06:14:14 2015 Received: (at 20255) by debbugs.gnu.org; 12 Nov 2015 11:14:14 +0000 Received: from localhost ([127.0.0.1]:34083 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZwppV-0003Qr-SQ for submit@debbugs.gnu.org; Thu, 12 Nov 2015 06:14:14 -0500 Received: from eggs.gnu.org ([208.118.235.92]:45623) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZwppU-0003Qk-Ik for 20255@debbugs.gnu.org; Thu, 12 Nov 2015 06:14:12 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZwppQ-0008Sg-PE for 20255@debbugs.gnu.org; Thu, 12 Nov 2015 06:14:12 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:49691) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZwppC-0008Qp-90; Thu, 12 Nov 2015 06:13:54 -0500 Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:49664 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1ZwppB-0008E4-GN; Thu, 12 Nov 2015 06:13:53 -0500 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: =?utf-8?B?5a6L5paH5q2m?= Subject: Re: bug#20255: 'search-paths' should respect both user and system profile. References: <877ftschjt.fsf@gmail.com> <87fv8fip01.fsf@gnu.org> <87d23j1bxk.fsf@gmail.com> <87lhh43tn0.fsf@gnu.org> Date: Thu, 12 Nov 2015 12:13:51 +0100 In-Reply-To: <87lhh43tn0.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Mon, 04 May 2015 23:44:19 +0200") Message-ID: <87y4e3zd00.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.3 (-----) X-Debbugs-Envelope-To: 20255 Cc: Mark H Weaver , 20255@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.3 (-----) Some progress has been made: fc2d233 allows search paths for multiple profiles to be combined. So I think I will eventually (=E2=80=98guix-devel=E2=80=99 needs to be upda= ted first) change /etc/profile to do: eval `guix package -p /run/current-system/profile \ -p $HOME/.guix-profile --search-paths` That should solve the combined profile issue. This operation takes ~400ms on my machine. This would be a problem if we had to do it every time a shell is started, but here we only need to do it for log-in shells, which is rare enough. WDYT? Thanks, Ludo=E2=80=99.