Enrico Scholz wrote:
Bob Arendt writes:
Now the kernel headers are included with each kernel install! Fantastic!
Fantastic?? That's a really bad idea and I do not see the sense behind
this step. It is wasted space (30MB and 6500 inodes per kernel on the
*root* partition) and it is impossible to prevent their installation. And,
to build new kernel-modules for another kernel I would have to install the
entire new kernel although headers would be enough.
I would appreciate it when the headers would be in a separate rpm or at
least, when they would be under /usr/src where I can do %_netsharedpath
magic.
Good point. On our servers we'd always build/install extra drivers - 30M of
accurate headers was certainly better than a semi-built full-source tree.
But if you don't need it, making it optional (like debuginfo packages)
seems a better way to serve everyone's needs.
