How do I make curl ignore the proxy? Setting $NO_PROXY doesn\'t seem to work for me.
Long shot but try setting the proxy to "" (empty string) that should override any proxy settings according to the man page.