Difference between revisions of "Home"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
* [[Computational Resources]] | * [[Computational Resources]] | ||
How to use MediaWiki | |||
Revision as of 15:56, 23 August 2023
How to's
- Generate SSH Keys
- Copy files via ssh
- Find out when lectures are in our seminar room
- Change the water filter of the coffee machine
- Prepare a manuscript for Ralf
- Print a poster
- Take a vacation
Organisational Stuff
Servers
How to use MediaWiki