bug#36466: guix pull --delete-generations

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

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.

bug#36466: guix pull --delete-generations

[Ricardo Wurmus]

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

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> “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.

bug#36466: guix pull --delete-generations

[Ludovic Courtès]

Hi,

Raghav Gururajan <rvgn@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’.

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> 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.

bug#36466: guix pull --delete-generations

[Ludovic Courtès]

"Raghav Gururajan" <rvgn@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’.

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> Yes.

Thanks!

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> Yes.

Unfortunately, it did not work.

***START***

rg@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.

bug#36466: guix pull --delete-generations

[Ludovic Courtès]

Hi,

Raghav Gururajan <rvgn@disroot.org> skribis:

> rg@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’.

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> 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.

bug#36466: guix pull --delete-generations

[Ludovic Courtès]

Hi,

Raghav Gururajan <rvgn@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’.

bug#36466: guix pull --delete-generations

[Raghav Gururajan]

> 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.