Re: Patches to implement system roll-back and switch-generation

2016-10-19 Thread Ludovic Courtès
Hi Chris, Chris Marusich skribis: > l...@gnu.org (Ludovic Courtès) writes: >> We can now avoid monadic procedures by using the declarative counterpart >> of the monadic API. That is, we could write: >> >> (define (grub-configuration-file …) ;normal proc >> (computed-file "grub.cfg" b

Re: Patches to implement system roll-back and switch-generation

2016-10-15 Thread Chris Marusich
Hi Ludo, l...@gnu.org (Ludovic Courtès) writes: > Hello, > > Chris Marusich skribis: > >> l...@gnu.org (Ludovic Courtès) writes: > > [...] > >>> Sorry about that! Hopefully we can work around the conflicts. >> >> I think we can. But I think it will require backwards incompatible >> changes to

Re: Patches to implement system roll-back and switch-generation

2016-10-11 Thread Ludovic Courtès
Hello, Chris Marusich skribis: > l...@gnu.org (Ludovic Courtès) writes: [...] >> Sorry about that! Hopefully we can work around the conflicts. > > I think we can. But I think it will require backwards incompatible > changes to the boot parameters file. Here's why: > > Many of the existing p

Re: Patches to implement system roll-back and switch-generation

2016-10-08 Thread Chris Marusich
Hi, l...@gnu.org (Ludovic Courtès) writes: > Hi! > > Chris Marusich skribis: > >> I believe my patch does NOT yet make the regenerated grub.cfg a GC root, >> so it is possible that after rolling back or switching generations, >> invoking GC might clean up some things you'd rather keep around (li

Re: Patches to implement system roll-back and switch-generation

2016-10-04 Thread Ludovic Courtès
Hi! Chris Marusich skribis: > Here are some patches which, when applied to > 1df00601b280db1cdfe0fc8d539ee6c6c726c355, make it possible to switch > system generations using two new "guix system" subcommands: "roll-back" > and "switch-generation". These commands currently just rebuild the > grub

Patches to implement system roll-back and switch-generation

2016-09-29 Thread Chris Marusich
Hi, Here are some patches which, when applied to 1df00601b280db1cdfe0fc8d539ee6c6c726c355, make it possible to switch system generations using two new "guix system" subcommands: "roll-back" and "switch-generation". These commands currently just rebuild the grub.cfg file with a new default entry.