User Tools

Site Tools


linux:start

Linux

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 31 announcement, for news and known issues. And fedora tips for other useful tips.

Files, directories, disks and permissions

Backup

Programming, compilers, libraries

Desktop environment

Scientific software

Office software

Internet and e-mail

Other software

linux/start.txt · Last modified: 2019/11/15 13:43 by jansen