Request: Proxy settings for curl

[tenyuhuang]

Hi, I'm wondering since curl itself has built-in proxy support, could we have an option for that in various updater scripts (sometime in the future)?

Thanks in advance!

[Locutus73]

cURL should support proxy with this option:

-x, --proxy <[protocol://][user:password@]proxyhost[:port]>

     Use the specified HTTP proxy. 
     If the port number is not specified, it is assumed at port 1080.

You could try adding that to CURL_RETRY ini option, which, by default is set to
CURL_RETRY="--connect-timeout 15 --max-time 180 --retry 3 --retry-delay 5"

Let me know if you have success.

[tenyuhuang]

cURL should support proxy with this option:

-x, --proxy <[protocol://][user:password@]proxyhost[:port]>

     Use the specified HTTP proxy. 
     If the port number is not specified, it is assumed at port 1080.

You could try adding that to CURL_RETRY ini option, which, by default is set to
CURL_RETRY="--connect-timeout 15 --max-time 180 --retry 3 --retry-delay 5"

Let me know if you have success.

Hi, thanks for the tips! Actually I was suggested to do that by a few people; while it works, I'm sugesting if we could consider making it a variable available for configuration?