Linux course

I removed PuTTY, except for a reference

There is a super-short intro into servers, ports and ssh on a general level

Substituted with MobaXTerm

• That being said, I think R3 probably does things differently as Moba interface for Key-based generation and authentication looks almost exactly as PuTTY's which @Trefex dislikes (besides, it looks like they co-opted the guy behind PuTTY to do this)
• I tried to keep to clickable interfaces as much as possible;
• My first attempt to ssh was actually using the built-in terminal in Moba. This was successful, but not reproducibly (on later attempts, ssh-agent appeared not to have been present) [I was not personally doing this, rather made a novice user do it over WebEx so maybe there was something else at play]

Shell content is still in flux (and not in this merge),but follows more or less this pattern

• We're in a shell -- move around using basic commands (cd, ls and so on)
• Crucial shell variables
• Viewing material: cat, less and friends
• Basic pipes
• Understanding the limits of the system (it maybe seems counter-intuitive to start with this so soon, but in my experience novice users tend to think about servers as a black box with unlimited resources)
  • proc/cpuinfo
  • ps aux|grep
  • df
  • free
• ...

I removed tunnels due to time constraints

Note that I have years of experience with Org/Latex/Beamer/Powerdot and few days worth of reveal.js

• Slides are rudimentary, but helpful as the orientation for me as the instructor
• When it comes to practical parts I would much rather have them as free-form, scrollable Gitlab Pages
• Feedback will be acknowledged, but implemented afterwards