The SSH proxy allows users to connect to outside machines from their own workstations without having to login to another server.

• proxy.tchpc.tcd.ie:1080

If you are using putty, simply select socks proxy 4 or 5 and fill in the above details and it should just work.

Using TSOCKS

You can use tsocks http://tsocks.sourceforge.net/. This should be installed or easily available in most Linux distros.

Add the following to /etc/tsocks.conf to get ssh working outside TCD

local = 134.226.0.0/255.255.0.0
server = 134.226.112.43
server_type = 5
server_port = 1080

Once tsocks is setup you can use it by doing something like this

$ tsocks ssh hostname.domainname

Using connect-proxy

Alternatively, if you are using Linux or MacOSX, you can use connect http://packages.debian.org/lenny/connect-proxy/.