Bug#721869: install appropriate linux-headers
On Fri, Sep 6, 2013 at 4:58 AM, Bjørn Mork <bjorn@mork.no> wrote:
> Dmitrijs Ledkovs <xnox@debian.org> writes:
>> 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.
>
> This is way outside what you can expect to be supported.
I wouldn't worry about that. Users likely want to be using the latest
kernel anyway, and if they for some reason aren't and submit a bug
report about modules not working, they can be instructed to either
reboot or install the linux-headers for their specific kernel version.
> Sitting on the outside here, I am puzzled to see this belief that Debian
> should support all sorts of user modifications to the kernel package.
This isn't at all about modifying the kernel package itself. It is
about building kernel modules available in many separate packages.
Best wishes,
Mike
Reply to: