I'm trying to use SSH from a bash shell (Ubuntu 11.10) to connect to my home university via a proxy at work.
When I use PuTTY in Windows from the same place, I can put in the proxy details in the proxy tab and it works. However, I can't get it to work from Ubuntu.
I configured Ubuntu to use the proxy system-wide with the network-proxy dialog in the system settings. However, SSH doesn't work - either it can't resolve the hostname or the connection just times out.
What am I doing wrong?
I can browse the internet (also HTTPS sites), and can also update my packages, but I cannot use SSH, FTP or anything else.
The proxy settings I'm using for PuTTY and in the network-proxy settings are:
proxy-name:8888 (same for all protocols)
To be honest, I don't know what kind of proxy that is.