GNU bug report logs - #35176
[PATCH 0/5] 'guix gc --delete-generations' and '--list-roots'

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Sat, 6 Apr 2019 21:28:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#35176: closed ([PATCH 0/5] 'guix gc --delete-generations' and
 '--list-roots')
Date: Wed, 10 Apr 2019 15:20:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Wed, 10 Apr 2019 17:19:16 +0200
with message-id <87mukxc2h7.fsf <at> gnu.org>
and subject line Re: [bug#35176] [PATCH 0/5] 'guix gc --delete-generations' and '--list-roots'
has caused the debbugs.gnu.org bug report #35176,
regarding [PATCH 0/5] 'guix gc --delete-generations' and '--list-roots'
to be marked as done.

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


-- 
35176: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35176
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: guix-patches <at> gnu.org
Cc: Ludovic Courtès <ludo <at> gnu.org>
Subject: [PATCH 0/5] 'guix gc --delete-generations' and '--list-roots'
Date: Sat,  6 Apr 2019 23:26:56 +0200
Hello Guix!

This patch series is mostly about making it easier to free space:
‘guix gc --delete-generations’ deletes old generations of all the
user’s profiles prior to collecting garbage.

For consistency, ‘--delete-generations’ is aliased with ‘-d’, so
‘-d’ is repurposed (until now it was an alias for ‘--delete’).

Thoughts?

Ludo’.

Ludovic Courtès (5):
  Add (guix store roots).
  guix gc: Add '--list-roots'.
  profiles: Add 'generation-profile'.
  guix gc: Add '--delete-generations'.
  scripts: GC hint suggests 'guix gc -d 1m'.

 Makefile.am           |   6 ++-
 doc/guix.texi         |  22 +++++++-
 guix/profiles.scm     |  15 ++++++
 guix/scripts.scm      |  10 ++--
 guix/scripts/gc.scm   |  66 +++++++++++++++++++++--
 guix/store/roots.scm  | 120 ++++++++++++++++++++++++++++++++++++++++++
 tests/guix-gc.sh      |   6 ++-
 tests/store-roots.scm |  53 +++++++++++++++++++
 8 files changed, 282 insertions(+), 16 deletions(-)
 create mode 100644 guix/store/roots.scm
 create mode 100644 tests/store-roots.scm

-- 
2.21.0



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: Björn Höfling <bjoern.hoefling <at> bjoernhoefling.de>
Cc: 35176-done <at> debbugs.gnu.org
Subject: Re: [bug#35176] [PATCH 0/5] 'guix gc --delete-generations' and
 '--list-roots'
Date: Wed, 10 Apr 2019 17:19:16 +0200
Hello,

Björn Höfling <bjoern.hoefling <at> bjoernhoefling.de> skribis:

> On Tue, 09 Apr 2019 22:02:07 +0200
> Ludovic Courtès <ludo <at> gnu.org> wrote:
>
>> Hi Björn,
>> 
>> > Second, how big is the chance I could accidentally delete (all)
>> > older generations of my profiles?  
>> 
>> It’s unlikely because if you do “guix gc -d /gnu/store/…”, it still
>> behaves like before.
>> 
>> Does it address your concern?
>
> OK, convinced. Thanks for clarifying.

Cool, I’ve just pushed the patch series.

I noticed that the compatibility trick for ‘-d’ would ignore its
argument (thus it wouldn’t delete anything at all), so I’ve fixed that.

Thank you!

Ludo’.


This bug report was last modified 6 years and 135 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.