How do I make curl ignore the proxy?
I assume curl is reading the proxy address from the environment variable http_proxy and that the variable should keep its value. Then in a shell like bash, export http_proxy=”; before a command (or in a shell script) would temporarily change its value. (See curl’s manual for all the variables it looks at, under the ENVIRONMENT heading.)