[解決済み] curlがプロキシを無視するようにするにはどうしたらいいですか？

質問

curlがプロキシを無視するようにするにはどうしたらいいですか？ NO_PROXYを設定しても、私には効果がないようです。

解決方法は？

curlは環境変数からプロキシのアドレスを読み取っていると思われます。 http_proxy で、この変数はその値を維持する必要があります。次にbashのようなシェルで export http_proxy=''; は、コマンドの前（またはシェルスクリプトの中）で、一時的にその値を変更します。

(curlが参照するすべての変数については、curlのマニュアルを参照してください。 ENVIRONMENT という見出しがあります)。