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 31 announcement, for news and known issues. And fedora tips for other useful tips.
Files, directories, disks and permissions
Programming, compilers, libraries
Internet and e-mail