|
From: | zimoun |
Subject: | [bug#37443] [PATCH] scripts: pull: Add options for generation management |
Date: | Wed, 18 Sep 2019 18:33:47 +0200 |
Dear, 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? And that fixes the issue of UI. All the best, simon
[Prev in Thread] | Current Thread | [Next in Thread] |