>>>>> On Fri, 22 May 2020, Michał Górny wrote:

> Hence my question: do you find 'do not remove kernels listed in
> bootloader config' feature useful? Do you think it should remain the
> default? Do you think it is worthwhile to continue supporting it?

For GRUB, wouldn't the typical workflow remove old kernels first, and
only then update grub.cfg?

Ulrich

Attachment: signature.asc
Description: PGP signature

Reply via email to