Я немного удивлен. Я использую openssh-clients-6.2p2-4.fc19.x86_64 на моей Fedora 19. Я устанавливаю переменную среды через консоль:
"export http_proxy = http://someproxy.officenetwork "
и в той же консоли я пытаюсь запустить клиент SSH
"ssh user @ home -p 443"
подключиться к моему ящику через ssh через порт 443 (другие порты заблокированы, и из них 443 наименее подозрительно :-)
Но ssh не получает прокси из переменной окружения (в отличие от lynx, curl, yum ...).
Я знаю, что мог бы использовать "штопор" или "netcast", чтобы помочь мне получить ssh-соединение через офисный прокси, но при использовании egPuTTY или BitwiseSSH я просто указываю прокси-сервер в настройках и все работает.
Что приводит меня к вопросу: поддерживает ли OpenSSH подключение через локальный прокси изначально или действительно необходимо использовать обходной путь (corkscrew, nc ...) / другой клиент с поддержкой встроенного прокси?