This page is an unsorted collection of locally available documentation of crucial pieces of software that we use. See also my page on cool tools installed on our local Linux machines.
General Docu on GNU packages and such:
See my web page on scripting languages for docu on other scripting languages.
Bash, the bourne again shell:
General info on Unix-side scripting (see here for a list of cheat sheets):
Research related docu:
Hans-Wolfgang Loidl <email@example.com> Last modified: Mon Mar 4 16:56:14 2013