On Tue, Aug 19, 2003 at 08:43:18PM -0400, Peter S Galbraith wrote: > > > So it's `GNU/LinEx GNU/Linux' instead of `Debian GNU/Linux'. > Why would you repeat GNU? -- Mark Kent