Bug#721869: install appropriate linux-headers
Christian PERRIER <bubulle@debian.org> writes:
> Quoting Bjørn Mork (bjorn@mork.no):
>
>> We can continue like this if you want. Or maybe you'd like to define
>> your problem instead of your solution?
>
> I'm sorry to play this game, but have you noticed who sent this bug report?
Yes, which is all the more reason to expect a proper bug report.
> Then, have you ever looked at the changelog of any D-I package?
>
>
> In short, if Joey if doing this suggestion, I would be tempted to give
> him a bit of credit for having good reasons to do it. Ha gave a few in
> the bug report rationale as well as in the thread that happned just
> befor ehe reported the bug.
>
> It's quite some time since I hadn't to build out-of-tree modules for
> hardware support but my understanding is that this is made fairly easy
> by a few tools *assuming one has a toolchain and the Linux kernel
> headers installed*.
Yes, it is easy. But so should installing additional, non-default,
packages be. If it's not, then that's a real installer bug. (never
mind lack of networking - the initial install had to use some sort of
medium)
> 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.
Bjørn
Reply to: