From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:38445) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iAgG8-0001ju-CB for guix-patches@gnu.org; Wed, 18 Sep 2019 16:09:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iAgG7-0002pq-EB for guix-patches@gnu.org; Wed, 18 Sep 2019 16:09:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46056) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iAgG7-0002pV-6U for guix-patches@gnu.org; Wed, 18 Sep 2019 16:09:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iAgG7-0005zD-0f for guix-patches@gnu.org; Wed, 18 Sep 2019 16:09:03 -0400 Subject: [bug#37443] [PATCH] scripts: pull: Add options for generation management Resent-Message-ID: From: Konrad Hinsen In-Reply-To: References: Date: Wed, 18 Sep 2019 22:08:26 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: zimoun Cc: 37443@debbugs.gnu.org Hi Simon, > Naive question: why not merge the two default profiles in only one > default profile? > > `guix pull` uses the default ~/.config/guix/current > `guix package` uses the default ~/.guix-profile > > Does it make sense to remove one of them? I am not sure if it could be done, but I am rather sure that I wouldn't want that. Case study: I want to install one package from a specific Guix commit in the past: - guix pull -C ... creates a new generation - guix package install ... creates another new generation Now I cannot undo the "guix pull" without also removing the package that I installed from that specific commit! Cheers, Konrad