My sshrc configuration. Managed by https://github.com/RichiH/vcsh.