No estoy seguro de si esta pregunta es más adecuada aquí en ServerFault o en SuperUser. Pensando en ello lógicamente, creo que esta es una pregunta de administrador de sistemas, así que lo estoy poniendo aquí, y si los mods piensan que debería moverse, ¡disculpas por adivinar mal!
De todos modos: tengo un servidor fuera del sitio y estoy atascado en una IP privada sin acceso a la red, excepto a través de un proxy HTTP o un proxy SOCKS 4/5. Estoy ejecutando OS X, y me gustaría que el comando ssh del terminal funcione de alguna manera a través de uno de esos dos proxies para llegar al servidor remoto. El puerto SSH en el servidor remoto no es estándar, aunque dudo que eso haga mucha diferencia.