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

From: Danny Milosavljevic <[email-masked]>
Date: Fri, 12 May 2017 13:26:30 +0200

Hi Ludo,

On Fri, 12 May 2017 10:26:53 +0200
[email-masked] (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).