Bug#721869: install appropriate linux-headers
On 5 September 2013 20:58, Bjørn Mork <bjorn@mork.no> wrote:
> Christian PERRIER <bubulle@debian.org> writes:
>
>> Quoting Bjørn Mork (bjorn@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.
Reply to: