On Fri, Sep 30, 2016 at 10:11 AM, <Das.Linux@gmx.de> wrote:
Now the ~/.ssh/config can just contain:

Host ssh.squeak.org
  User ssh
  Port 1022
Host *.box.squeak.org
  User YOURUSER
  ProxyCommand ssh -W %h:%p ssh.squeak.org


And you can happily ssh to alan.box.squeak.org :)

Works like a charme. And no hard-coded ip addresses anymore. Good job :)

If you are forgetful like me you can additionally set up an alias like this:

host squeak-www
user YOURUSER
proxycommand ssh -W alan.box.squeak.org:%p ssh.squeak.org

... and then simply "ssh squeak-www".

- Bert -