how to use net proxy?

[Y-A-K-E]

my os : windows 10 x64

[kittaakos]

@Y-A-K-E, I am pretty sure there are limitations for proxies. Please explain your use-case a bit more details. Do you need it for the 3rd party cores? Thanks!

[Y-A-K-E]

China can't open github.com . we need to set a proxy server to download GitHub lib.

[kittaakos]

China can't open github.com .

Understood. 👍

we need to set a proxy server to download GitHub lib.

What do you want to download from a GitHub lib? Do you want to pull 3rd part cores? If so, I think this should be configured in the CLI config. Is it supported, @cmaglie?

[cmaglie]

yes, the support has been added in arduino-cli 0.10.0 (arduino/arduino-cli#609) you must add in the configuration file the keyword:

network.proxy

for example:

network.proxy=http://username:password@1.2.3.4:8883/

[kittaakos]

yes, the support has been added in arduino-cli 0.10.0

Super. Thank you!

[per1234]

Proxy can now be configured via the "Network" tab of Arduino Pro IDE's File > Preferences dialog, so I'm going to close this as fixed. @Y-A-K-E if you try out the new 0.1.4 release of Arduino Pro IDE and find that it doesn't meet your needs, please comment here and we'll investigate.