On Sat, Nov 08, 2003 at 11:39:38AM +1100, Brian May wrote: > On Fri, Nov 07, 2003 at 08:13:18PM +0100, Santiago Vila wrote: > > At least, the ability to do > > > > apt-get source linux > > > > as it should always have been. > > > > > > I think it's time we put an end to this euphemism called "the kernel" > > and start calling it by its proper name (if we refer to Linux, that is). > > apt-get source kernel-source-2.4.22 > ??? Good point, the kernel source probably should be renamed to linux-source-2.4.22 since people want to support hurd and the various BSDs under Debian as well. Probably any package referencing kernel needs to be changed to linux instead. Chris
Attachment:
signature.asc
Description: Digital signature