How do I make curl ignore the proxy? Setting $NO_PROXY doesn\'t seem to work for me.
My curl was not ignoring the proxy on Ubuntu 12.04 until I set the "no_proxy" (lowercase) environment variable. The --noproxy option was not available.