Bug#721869: install appropriate linux-headers
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.
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.
Sure, I appreciate the fact that it is easy to modify any package, using
old packages long gone, or installing software from a 3rd party. I do
all three. But I don't expect anyone to support these modifications.
And if there is some kernel module missing, then my experience is that
the excellent Debian kernel team is more than happy to add it. Sending
a bug report with a patch or a list of mainline git commits is actually
easier than remembering to rebuild your out-of-three module on every
kernel upgrade. This is what Debian users should be pointed to. Not a
howto telling you to build some strange driver from untrusted sources
yourself. That's just crazy.
Still, I do appreciate the freedom to do crazy stuff. But I react on
the demands that it should be easier, because *any* level of support can
be seen as an OK from Debian. And using random out-of-tree drivers is
definitely not OK in general.
Bjørn
Reply to: