Well, I think it's justified, but it's justified if
you actually make a GNU distribution of Linux ... the
same way that I think that "Red Hat Linux" is fine, or
"SuSE Linux" or "Debian Linux", because if you actually
make your own distribution of Linux, you get to name the
thing, but calling Linux in general "GNU Linux" I think
is just ridiculous.[34]
It came up in the documentary because there had been a huge firestorm over RMS saying everyone should call it GNU/Linux. Various allegations of 'usurpery' etc and generally bad feelings. Linus' counter, which he made in the documentary and I had heard in person at a Usenix conference was that if the GNU project made a distro (and this is still a valid point) where everything in it was free and wanted to call it "GNU/Linux" that would be great, but trying to change the kernel name from Linux to GNU/Linux is just silly (or ridiculous as Linus points out).[34] ^ Moore, J.T.S. (Produced, Written, and Directed) (2001). Revolution OS (DVD).