问题：
使用arduinoIDE下载对应开发板时即使打开了代理还是无法访问github。错误信息如下：
Failed to install platform: 'esp32:esp32:2.0.16'. Error: 2 UNKNOWN: Get "https://github.com/espressif/arduino-esp32/releases/download/2.0.7/esptool-v4.5.1-win64.zip": dial tcp 192.30.255.113:443: connectex: A connection attempt failed because the connected party did not properly respond after a period of time, or established connection failed because connected host has failed to respond.
解决方法：
step1:查看代理配置文件
step2：打开IDE网络配置界面
依次点击文件-->首选项-->网络，如下图所示：
step3:配置网络，按照下图所示进行配置
step4:重新进行下载即可
