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 ??? -- Brian May <bam@debian.org>