[Discuss] I, uh, deleted the wrong kernel....

[David kramer]

No, I'm not building my own kernels.  I have the 34 and 36 kernels, so
one path (and it would be a great one) would be to somehow get grub to
look for those instead of 28.  How to do that after booting off USB
though.....  That would be my favored option, and I'll have to google in
that direction some more.

Thanks.


On 09/30/2016 10:14 AM, Ben Carr wrote:
> You should have other kernels if you are Debian based unless you
> removed all the others with `rm` as others have mentioned. You might
> want to look into the auto-clean features of you distro, this will
> allow you to say keep, 3 or 4 kernels in case one fails, such as a
> regression in a driver you need. If you have no other kernels on your
> system you will likely be forced to boot from other media, like USB or
> CD, or DVD. You will want to install the current kernel, but also
> update grub, it sounds like grub hasn't been updated. Are you building
> your own kernels or using distro kernels?
> -Ben