GNU bug report logs - #36466
guix pull --delete-generations

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 36466 in the body.
You can then email your comments to 36466 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Raghav Gururajan <rvgn <at> disroot.org>
To: bug-guix <at> gnu.org
Subject: guix pull --delete-generations
Date: Mon, 01 Jul 2019 14:53:06 -0400

Hello Guix!

I would like to report that "guix pull --delete-generations" is missing
and its absence can be considered as a bug.

Due to this, users cannot straight-forwardly delete guix pull
generations and garbage collect them via guix gc. This causes too much
accumulation of generations and its files in the storage.

I request the admin to set the severity and priority of this bug to
"high".

Thank you!

Regards,
RG.

Message #8 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Raghav Gururajan <rvgn <at> disroot.org>
Cc: 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Tue, 02 Jul 2019 09:02:58 +0200

Hi Raghav,

> I would like to report that "guix pull --delete-generations" is missing
> and its absence can be considered as a bug.

“guix pull” uses a regular profile at ~/.config/guix/current, so you can
do “guix package -p ~/.config/guix/current --delete-generations”

-- 
Ricardo

Message #11 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Raghav Gururajan <rvgn <at> disroot.org>
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Tue, 02 Jul 2019 14:25:41 -0400

> “guix pull” uses a regular profile at ~/.config/guix/current, so you
> can
> do “guix package -p ~/.config/guix/current --delete-generations”

Thanks Ricardo! I am aware of this as someone suggested this on IRC. ☺.
My concern is that there is "guix system delete-generations" and "guix
package --delete-generations"; but not "guix pull --delete-
generations".

Bringing "guix pull --delete-generations" will be straight-forward and
any user does not have to type profile path everytime they delete
generations. Will also be intutive for new guix users. ☺

Regards,
RG.

Message #14 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Raghav Gururajan <rvgn <at> disroot.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Sun, 07 Jul 2019 16:29:25 +0200

Hi,

Raghav Gururajan <rvgn <at> disroot.org> skribis:

>> “guix pull” uses a regular profile at ~/.config/guix/current, so you
>> can
>> do “guix package -p ~/.config/guix/current --delete-generations”
>
> Thanks Ricardo! I am aware of this as someone suggested this on IRC. ☺.
> My concern is that there is "guix system delete-generations" and "guix
> package --delete-generations"; but not "guix pull --delete-
> generations".
>
> Bringing "guix pull --delete-generations" will be straight-forward and
> any user does not have to type profile path everytime they delete
> generations. Will also be intutive for new guix users. ☺

Note that there’s also ‘guix gc --delete-generations’, which is really
what newcomers should be using IMO because it operates on all the user’s
profiles.

That said, I think a patch that adds ‘--delete-generations’ to ‘guix
pull’ would also be welcome.

Thanks,
Ludo’.

Message #17 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: "Raghav Gururajan" <rvgn <at> disroot.org>
To: "Ludovic Courtès" <ludo <at> gnu.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Sun, 07 Jul 2019 20:05:57 +0000

> Note that there’s also ‘guix gc --delete-generations’, which is really
> what newcomers should be using IMO because it operates on all the user’s
> profiles.

Thanks! Does `guix gc --delete-generations` delete guix pull generations as well?

> That said, I think a patch that adds ‘--delete-generations’ to ‘guix
> pull’ would also be welcome.

True :)

Regards,
RG.

Message #20 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: "Raghav Gururajan" <rvgn <at> disroot.org>
To: "Ludovic Courtès" <ludo <at> gnu.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Sun, 07 Jul 2019 20:06:01 +0000

> Note that there’s also ‘guix gc --delete-generations’, which is really
> what newcomers should be using IMO because it operates on all the user’s
> profiles.

Thanks! Does `guix gc --delete-generations` delete guix pull generations as well?

> That said, I think a patch that adds ‘--delete-generations’ to ‘guix
> pull’ would also be welcome.

True :)

Regards,
RG.

Message #23 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: "Raghav Gururajan" <rvgn <at> disroot.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Mon, 08 Jul 2019 11:42:29 +0200

"Raghav Gururajan" <rvgn <at> disroot.org> skribis:

>> Note that there’s also ‘guix gc --delete-generations’, which is really
>> what newcomers should be using IMO because it operates on all the user’s
>> profiles.
>
> Thanks! Does `guix gc --delete-generations` delete guix pull generations as well?

Yes.

Ludo’.

Message #26 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Raghav Gururajan <rvgn <at> disroot.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Mon, 08 Jul 2019 14:18:44 -0400

> Yes.

Thanks!

Message #29 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Raghav Gururajan <rvgn <at> disroot.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Mon, 08 Jul 2019 17:33:28 -0400

> Yes.

Unfortunately, it did not work.

***START***

rg <at> secondary ~$ guix gc --delete-generations
Backtrace:
           7 (primitive-load "/home/rg/.config/guix/current/bin/guix")
In guix/ui.scm:
  1655:12  6 (run-guix-command _ . _)
In ice-9/boot-9.scm:
    829:9  5 (catch _ _ #<procedure 7fc0b58caca0 at guix/ui.scm:590…>
…)
    829:9  4 (catch _ _ #<procedure 7fc0b58cacb8 at guix/ui.scm:713…>
…)
In guix/scripts/gc.scm:
    253:6  3 (_)
In srfi/srfi-1.scm:
    640:9  2 (for-each #<procedure d37ba0 at guix/scripts/gc.scm:25…>
…)
In guix/scripts/gc.scm:
   114:38  1 (delete-old-generations #<store-connection 256.99 798b…>
…)
In unknown file:
           0 (delv 11 #f)

ERROR: In procedure delv:
In procedure list-copy: Wrong type argument in position 1: #f

***END***

Regards,
RG.

Message #32 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Raghav Gururajan <rvgn <at> disroot.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Thu, 11 Jul 2019 23:34:44 +0200

Hi,

Raghav Gururajan <rvgn <at> disroot.org> skribis:

> rg <at> secondary ~$ guix gc --delete-generations
> Backtrace:
>            7 (primitive-load "/home/rg/.config/guix/current/bin/guix")
> In guix/ui.scm:
>   1655:12  6 (run-guix-command _ . _)
> In ice-9/boot-9.scm:
>     829:9  5 (catch _ _ #<procedure 7fc0b58caca0 at guix/ui.scm:590…>
> …)
>     829:9  4 (catch _ _ #<procedure 7fc0b58cacb8 at guix/ui.scm:713…>
> …)
> In guix/scripts/gc.scm:
>     253:6  3 (_)
> In srfi/srfi-1.scm:
>     640:9  2 (for-each #<procedure d37ba0 at guix/scripts/gc.scm:25…>
> …)
> In guix/scripts/gc.scm:
>    114:38  1 (delete-old-generations #<store-connection 256.99 798b…>
> …)
> In unknown file:
>            0 (delv 11 #f)
>
> ERROR: In procedure delv:
> In procedure list-copy: Wrong type argument in position 1: #f

Good catch!  This bug should now be fixed by
5c3d44303e1bb75d45334af5cf86cde723da0371.

Could you check if it works for you?

Thanks,
Ludo’.

Message #35 received at 36466 <at> debbugs.gnu.org (full text, mbox):

From: Raghav Gururajan <rvgn <at> disroot.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466 <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Fri, 12 Jul 2019 01:16:53 -0400

> Good catch!  This bug should now be fixed by
> 5c3d44303e1bb75d45334af5cf86cde723da0371.
> 
> Could you check if it works for you?

Thank you very much. It worked. Phew! 5GB of data in user and 3GB of
data in root; was removed by `guix gc --delete-generations`. ☺

Regards,
RG.

Message #40 received at 36466-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Raghav Gururajan <rvgn <at> disroot.org>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 36466-done <at> debbugs.gnu.org
Subject: Re: bug#36466: guix pull --delete-generations
Date: Fri, 12 Jul 2019 19:07:10 +0200

Hi,

Raghav Gururajan <rvgn <at> disroot.org> skribis:

>> Good catch!  This bug should now be fixed by
>> 5c3d44303e1bb75d45334af5cf86cde723da0371.
>> 
>> Could you check if it works for you?
>
> Thank you very much. It worked. Phew! 5GB of data in user and 3GB of
> data in root; was removed by `guix gc --delete-generations`. ☺

Good!  I’m closing this bug now, but do reopen it if you think there are
other things we should do.

Ludo’.

Previous Next

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