How do I make curl ignore the proxy? Setting $NO_PROXY doesn't seem to work for me.
If your curl is at least version 7.19.4, you could just use the --noproxy flag.
curl
7.19.4
--noproxy
curl --noproxy '*' http://www.stackoverflow.com
From the manual.