Anyway, I believe the OP to be correct:
saxgeek wrote:Linux Mint is in no way the fourth most popular operating system in the world.
dee. makes a good point:
dee. wrote:Technically, there's no such OS as "Linux", there are OS's that are based on the Linux kernel.
However, Linux (or "GNU/Linux") IS
commonly referred to as an "operating system." On the other hand, a Linux distribution can be considered to be a type of GNU/Linux operating system. I guess both ways of looking at it are valid.
I'm not sure if The Linux Information Project (http://linfo.org/
) can be considered to be an authority on the terminology, but in their list of "The Most Popular Operating Systems" (http://www.linfo.org/operating_systems_list.html
), they put it like this:
Linux - a high performance, yet completely free, Unix-like operating system launched by Linus Torvalds in 1991. GNU/Linux, as it is also called (because it makes extensive use of utilities and other software developed by the GNU project) is suitable for use on a wide range of platforms and is compatible with both 32 bit and 64 bit processors. More than 200 distributions (i.e., versions) of Linux have been introduced, among the most popular of which are Red Hat, SuSE, Mandrake, Debian and Ubuntu. Although its overall market share is still small, Linux is the most rapidly growing of any major operating system.
But I'm with monkeyboy:
monkeyboy wrote:I realized I had way, way, way too much time on my hands because I was responding.