User Tools

Site Tools



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 33 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.txt · Last modified: 2020/11/30 13:27 by jansen