Linux

Linux is a name for a group of Unix operating systems based around a standard core. There is a very full description of what Linux is and its history in the Wikipedia: Linux Wikipedia entry

At CUED, we currently use Centos linux on the central system. If you wish further information on what software is available for Linux in general, or information on how to install Linux, contact your Computer Officer.

See Also

• The CentOS 6 Desktop - internals
• The CentOS 7.1 Desktop - internals