Hi again, Phil. On 2024-07-09 18:54, Phil Wyett wrote: > Yes, I am aware of needing to install the headers. Not an ideal situation for > users, but we have what we have. Maybe something in the manpage to direct > users > could be added regarding installing the kernel headers maybe useful
Actually on Debian stable, if you install dkms or a package that depends on it, you automatically get the kernel headers, because the dkms package, on stable, recommends installing the kernel headers. Since the default apt behaviour is to install recommended packages, there is no headache for "normal" users. However if you are using Debian testing or unstable, you should know what you are up to. Therefore I don't think your suggestion is needed. Thank you for the help. -- Matteo Bini