Hello, zerodaysfordays@sdf.lonestar.org (Jakob L. Kreuze) skribis: > Ludovic Courtès writes: > >> I agree with Danny here that parsing the GRUB config wouldn’t be great. >> >> We have information about the user’s extra menu entries. The issue, as >> I see it, as that this information is lost once the system is >> instantiated. >> >> But! We have the structure, that gets serialized with >> the system, and which we could extend with those extra menu entries. >> That way, the info would be preserved, and we can restore them upon >> ‘delete-generations’. records are bootloader-independent, >> which is good. >> >> How does that sound? > > Would that involve appending an additional field to > for storing the previous entries? I think that would have the pleasant > side-effect of making the code for deployment/reconfiguration simpler :) Oh that’d be nice. The attached patches should fix this. I’ve successfully deleted a generation on my system. :-) I don’t have extra menu entries though, so it’d be great if you could give it a try. Thanks, Ludo’.