On 5 September 2013 20:58, Bjørn Mork <bj...@mork.no> wrote: > Christian PERRIER <bubu...@debian.org> writes: > >> Quoting Bjørn Mork (bj...@mork.no): >> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org