--- Begin Message ---
Subject: |
[PATCH 0/2] Let 'guix gc -d' delete old Home generations |
Date: |
Sun, 17 Jul 2022 17:19:30 +0200 |
Hi!
This change lets ‘guix gc -d 4m’ (say) do what one can expect, which is
to delete not just bare profile generations but also Home generations.
Thoughts?
Ludo’.
Ludovic Courtès (2):
home: Add 'home-generation-base'.
guix gc: '--delete-generations' now deletes old Home generations.
doc/guix.texi | 3 ++-
gnu/home.scm | 26 ++++++++++++++++++++++++--
guix/scripts/gc.scm | 6 ++++--
3 files changed, 30 insertions(+), 5 deletions(-)
base-commit: 4ce7f1fb24a111f3e92d5b889d1271bebf109d09
--
2.36.1
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#56618: [PATCH 0/2] Let 'guix gc -d' delete old Home generations |
Date: |
Sat, 23 Jul 2022 00:42:24 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Ludovic Courtès <ludo@gnu.org> skribis:
> home: Add 'home-generation-base'.
> guix gc: '--delete-generations' now deletes old Home generations.
Pushed as ba22560627f848f40891a56355ff26b6de1380bc.
--- End Message ---