wp.jochen.hayek.name
how do you copy the public key to an ssh-server? ssh-copy-id
$ ssh-copy-id -i ~/.ssh/id_ed25519-FOO.pub tim@just.some.other.server
