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-boot-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/canbhlui9venm0vdcnb4r6z6bfp2kct9t4fgehcljnlotf5c...@mail.gmail.com
