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.