"board list" command doesn't follow proxy configuration

[cmaglie]

The command arduino-cli board list should use proxy to call board VIP/PID identification API, but this is not implemented yet:

arduino-cli/commands/board/list.go

Line 57 in 6903076

// TODO: use proxy if set

We may consider to use downloader for this piece too.

[cmaglie]

fixed by #672

[j-d-salinger]

It is 2023, and it doesn't follow the http_proxy and https_proxy global linux variables

[cmaglie]

The proxy setting must be written in the configuration file using the network.proxy key.

If you want to request support for http_proxy and https_proxy env vars, please open a new issue and provide a link to the env var specification.