I am wonder a bit. I use openssh-clients-6.2p2-4.fc19.x86_64 on my Fedora 19. I set the environment variable through the console:
and in the same console I try to run the ssh client
"ssh user@home -p 443"
to connect to my box via ssh on port 443 (other ports are blocked and out of those free the 443 is the least suspicious :-)
But the ssh does not pick up the proxy from the environment variable (opposite to lynx, curl, yum...).
I know I could use a "corkscrew" or "netcast" to help me get the ssh connection through the office proxy but when using e.g.PuTTY or BitwiseSSH I simply specify the proxy server in the settings and everything works.
Which leads me to the question: does the OpenSSH support connecting through a local proxy natively or is it really necessary to use a workaround (corkscrew, nc...) / another client with native proxy support?