On Sat, Jan 05, 2019 at 11:16:23AM +0100, hdv@gmail wrote: > On 05/01/2019 08.52, Reco wrote: > > Hi. > > > > On Sat, Jan 05, 2019 at 03:41:05AM +0100, hdv@gmail wrote: > >> So how do I make sure that 4.18.0-2 does not get removed from the boot menu > >> after the next kernel upgrade? > > > > Do not uninstall this version of kernel, simple as that. > > Invoke this to be sure: > > > > apt-mark hold linux-image-4.18.0-2-amd64 > > Aha, apt-mark. I didn't know about that one. I am gonna read up on it. Thanks > for helping! > > I reccon that not removing this kernel will also make sure it stays in the > boot > menu of grub?
/etc/grub.d/10_linux should process all kernels that are found in /boot. So yes, it should. Reco
