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, 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.1459847803.txt.gz · Last modified: 2016/04/05 09:16 by jansen