On 5 September 2013 20:58, Bjørn Mork <[email protected]> wrote: > Christian PERRIER <[email protected]> writes: > >> Quoting Bjørn Mork ([email protected]): >> So, it's probably less overkill than it may seem at first glance to >> imagine that installing headers by default may help in some cases. > > I hope and expect most Linux users never needing kernel headers. And if > they do need them, then the headers should be pulled in by one of the > -dkms packages. I do not think it is a good idea to encourage users or > driver authors to keep drivers out of Debian. >
How does the dependency look like to get headers for the _currently_ running kernel and not the latest one available/installed? Considering I can upgrade to the new kernel packages a few times before rebooting. Regards, Dmitrijs. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/canbhlui9venm0vdcnb4r6z6bfp2kct9t4fgehcljnlotf5c...@mail.gmail.com
