Hi,
On 28.09.2016, at 11:31, Tobias Pape Das.Linux@gmx.de wrote:
Dear all
here's an update to the previous ssh process:
I have changed the DNS to point to the following:
ssh.squeak.org 104.130.6.82 ian.box.squeak.org 10.208.225.29 alan.box.squeak.org 10.176.200.8 adele.box.squeak.org 10.208.160.56 andreas.box.squeak.org 10.208.161.222 dan.box.squeak.org 10.176.197.150 ted.box.squeak.org 10.176.130.111 david.box.squeak.org 10.208.194.45 scott.box.squeak.org 10.176.199.169
Note that anything *.box.squeak.org are internal IPs just set up for convenience.
Or in your .ssh/config you can put
Host ian.squeak.org User ssh Hostname 104.130.6.82 Port 1022
Host andreas.squeak.org User YOURNAME Hostname 10.176.200.8 ProxyCommand ssh -W %h:%p ian.squeak.org
And then say 'ssh andreas.squeak.org'
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 :)
Hope this helps.
Best regards -Tobias