Bueno, arturom, en más de un sitio he visto las expresiones Ubuntu/Linux, Red Hat/Linux, Mandrake/Linux, etc.
El nombre GNU/Linux es más correcto, ya que existen otros sistemas operativos que usan GNU pero no Linux (por ejemplo,
GNU/Hurd), y pueden existir otros que utilicen Linux pero no GNU (por ejemplo, y por lo poco que sé,
ReactOS creo que utiliza Linux como núcleo pero no usa GNU como
entorno/interfaz, sino una reimplementación de Win32 basada en (pero no igual a)
WineHQ, aunque dudo que lo llamen alguna vez ReactOs/Linux
).
Pero bueno, siempre que se dice Linux uno se refiere a GNU/Linux, al igual que he leído muchas veces simplemente Hurd para referirse a GNU/Hurd.