So I can't SSH outside the corporate firewall to my personal development environment. It's a Windows shop. I use Cygwin and bash so I can actually get work done. SSH doesn't work.
I installed corkscrew with Cygwin. I have the following in my ~/.ssh/config:
ProxyCommand corkscrew _proxy_ _port_ %h %p
Executing this at bash:
ssh _user_@_host_._tld_
Gets me:
ssh: Could not resolve hostname _host_._tld_: hostname nor servname provided, or not known
OK, so I try to debug it:
ssh -vvv _user_@_host_._tld_
Which nets me an extra:
debug2: ssh_connect: needpriv 0
That's as far as I can get.
I understand that there's a lot of variables at play. I just need a pointer in the right direction. What is ssh trying to use as a DNS server? Where would I set that in a Cygwin install? How does Internet Explorer resolve hostnames outside the corporate LAN?
I would like to use Cygwin without PuTTY for simplicity, but if there's no way, I'll use PuTTY.

-vvvline after the one you posted isdebug1: Executing proxy command: …. It may help if you post the wholessh -vvvtrace and your whole~/.ssh/config, obscuring only the minimum necessary for privacy. – Gilles Sep 29 '10 at 21:33_host_look somewhat like an IP address (e.g. beginning with a letter)? In case it matters, I suggest you obscure host names by replacing each letter byzand each digit by9(and leave any-and.unchanged). – Gilles Sep 29 '10 at 21:36