Exiting a dead SSH session
SSH can handle commands.
From the blog post above:
SSH parses commands sent after a newline and
~. is the one to exit.
SSH config files
Host host1 HostName ssh.example.com User myuser IdentityFile ~/.ssh/id_rsa
allows to just do
… 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.
I need to make this Diensttagebuch searchable from the website, not just locally with