From mboxrd@z Thu Jan 1 00:00:00 1970 From: Federico Beffa Subject: Re: guix pull Date: Mon, 22 Sep 2014 19:07:23 +0200 Message-ID: References: <87r3zavn6r.fsf@gnu.org> <87zjdrrjkg.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]:36681) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XW75H-0000LK-Jj for guix-devel@gnu.org; Mon, 22 Sep 2014 13:07:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XW75F-00017O-V5 for guix-devel@gnu.org; Mon, 22 Sep 2014 13:07:31 -0400 In-Reply-To: <87zjdrrjkg.fsf@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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: guix-devel@gnu.org > No, it=E2=80=99s on purpose: the goal is to keep using the already-instal= led > (guix config), which contains the right file names etc. Got it. Finally I see how "guix pull" works and why importing modules only from $HOME/.config/guix/latest/ in the REPL is not enough... :-) Thanks, Fede