bug#26339: [PATCH 02/18] system: Add extlinux support.

[Danny Milosavljevic]

Hi Ludo,

On Fri, 12 May 2017 10:26:53 +0200
address@hidden (Ludovic Courtès) wrote:

> > If there is a switch between extlinux and grub, the bootloader config file 
> > format (and name, too) will change.
> >
> > So if you do switch the config file out but don't switch the actual 
> > bootloader out it will not boot, right?  
> 
> Unless you regenerate the bootloader’s config file upon
> ‘switch-configuration’.

Yes, for the last-guix-installed bootloader (presumably the still-installed 
one).  Good point.

That would mean only the bootloader type of the newest system generation would 
be checked - also when restoring older generations.

Can the newest system generation be deleted?  Then eventually Guix could read 
the wrong bootloader type (of a bootloader which isn't actually installed at 
the time).