bug#56618: closed ([PATCH 0/2] Let 'guix gc -d' delete old Home generations)

[GNU bug Tracking System]

Your message dated Sat, 23 Jul 2022 00:42:24 +0200
with message-id <87y1wkepm7.fsf@gnu.org>
and subject line Re: bug#56618: [PATCH 0/2] Let 'guix gc -d' delete old Home 
generations
has caused the debbugs.gnu.org bug report #56618,
regarding [PATCH 0/2] Let 'guix gc -d' delete old Home generations
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56618: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56618
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- 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 ---