Install kernel headers?

[earshinov]

Hey! Thank you for a very usable script.

Is there any way to install kernel headers along with the kernel?

I just ran bash ./ubuntu-mainline-kernel.sh -i 5.19.17 only to discover that a package I'm trying to install that contains a kernel module won't compile the module because kernel headers are missing:

Loading new [redacted] files...
Building for 5.19.17-051917-generic
Module build for kernel 5.19.17-051917-generic was skipped since the
kernel headers for this kernel does not seem to be installed.

Took me a while to figure out why the module is missing.

I am doing an automated setup, so manually googling for kernel-headers .deb wasn't on my roadmap (found them here: https://mirrors.portworx.com/mirrors/https/kernel.ubuntu.com/mainline/v5.19.17/amd64/)