SSH

Exiting a dead SSH session

SSH can handle commands. From the blog post above: <Enter>~.
SSH parses commands sent after a newline and ~. ~. is the one to exit.

SSH config files

In ~/.ssh/config.

Host host1
    HostName ssh.example.com
    User myuser
    IdentityFile ~/.ssh/id_rsa

allows to just do sh host1.

… Still amazed by Linux and the number of such things. If I ever planned to do Linux much more professionally, I would just sit and read through all the man pages of the typical tools, systematically.

Stack

I need to make this Diensttagebuch searchable from the website, not just locally with :Ag.