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
--noproxy
curl --noproxy "*" http://www.stackoverflow.com
From the manual.