[gnutls-help] Behind office/workplace firewall

[Rick Hanson]

Hi List!

When I'm at the office I can't seem to reach an outside server with
gnutls.  The situation looks like this.

$ gnutls-cli-debug marmalade-repo.org
Resolving 'marmalade-repo.org'...
Connecting to '80.69.77.43:443'...
connect: Connection timed out

Yet, when I ssh out to another machine outside of my workplace
firewall, the same command works fine.

gnutls-cli-debug marmalade-repo.org
Resolving 'marmalade-repo.org'...
Connecting to '80.69.77.43:443'...
Checking for SSL 3.0 support... no
Checking whether %COMPAT is required... no
[Rest of output cut.]

(So now, I'm assuming I'm getting cut off at that firewall.)

I already have a SOCKS proxy (via `ssh -D`) established from behind my
workplace firewall for use, e.g., with Firefox.

Question: (how) can I direct gnutls to use that tunnel, or another, to
get "outside"?

I read the man page but didn't see it; so if I missed it, mea culpa
and sorry.  Thanks for your help.

Best, --Rick