User Tools

Site Tools


This is an old revision of the document!


This page is not meant to be a full manual on Linux, just a list of pointers to utilities and procedures in use at our institutes. A copy of the Linux man pages is also available from our web server (not necessarily complete).

See also: Fedora 23 announcement, Fedora 25 announcement, for news and known issues. And fedora tips for other useful tips.

Files, directories, disks and permissions


Programming, compilers, libraries

Desktop environment

Scientific software

Office software

Internet and e-mail

Other software

linux/start.1480333368.txt.gz · Last modified: 2016/11/28 11:42 by jansen