ESP32安装代理设置

最新推荐文章于 2025-03-17 20:04:23 发布

云逸之

最新推荐文章于 2025-03-17 20:04:23 发布

阅读量1.2k

点赞数 16

文章标签： esp32 嵌入式硬件

本文链接：https://blog.csdn.net/qq_26700087/article/details/144017173

版权

ESP32安装代理设置

由于一些原因，我们的电脑需要配置代理，但对于esp32环境安装没有生效。

提供了以下设置方法:

命令行设置
IDF设置
platformio设置
arduino ide 设置

代理服务器地址

这里以HTTP代理服务器为例，比如你的代理服务器的地址是

http://127.0.0.1:7890

如果含有密码应该是这样：

http://username:password@192.168.0.110:8080

注意:URL中不能含一些特殊字符，你可以使用URL编码用户名和密码防止出现特殊字符。

可以通过js控制台来编码url:例如encodeURIComponent('abc@/1234')

使用nodejs命令行或者在浏览器f12打开控制台执行encodeURIComponent(‘账号或者密码’)

命令行中环境变量

适用于git clone ESP-IDF安装和platformio下载相关环境

Windows CMD:

SET HTTP_PROXY=http://127.0.0.1:7890 
SET HTTPS_PROXY=http://127.0.0.1:7890

linux 区分大小写，但对http/https代理相关环境变量，大部分程序会兼顾大小写方式读取，但platformio的文档是给的大写：

export http_proxy=http://127.0.0.1:7890
export https_proxy=http://127.0.0.1:7890
export HTTPS_PROXY=http://127.0.0.1:7890
export HTTP_PROXY=http://127.0.0.1:7890

如果有密码请按代理服务器中格式处理

ESP-IDF代理配置

就是使用HTTP/HTTPS代理环境变量。如果你在Wndows安装ESP-IDF请优先考虑，使用离线安装方法。

离线安装

特别是你只是想要编译一个IDF项目，简单修改配置然后烧录而不是开发的时候。可以安装一个IDF而无需配置编辑器集成，或者IDE环境等。

Windows 平台工具链的标准设置 - ESP32 - — ESP-IDF 编程指南 v5.3.1 文档

使用IDF源码安装

这里IDF文档也推荐在安装时使用国内源进行下载。通过设置IDF_GITHUB_ASSETS

cd ~/esp/esp-idf
export IDF_GITHUB_ASSETS="dl.espressif.cn/github_assets"
./install.sh

但这个合适于第二步安装，需要自行clone ESP-IDF源码。

我们可以在git clone之前通过命令行代理方式设置代理。

platformio通过代理初始化项目

第一次使用vscode安装platformio核心之后初始化项目可能会卡半天，看不到具体细节。开了代理也不生效。

这个时候如果platformio命令行已经安装，可以通过命令行代理。

如果platformio命令行没有安装，也不用vscode直接安装。

先下载 https://raw.githubusercontent.com/platformio/platformio-core-installer/master/get-platformio.py

并安装python3 给python配置好国内镜像即可（可以研究一下python使用清华源阿里源华为云源等）。

再使用python3 get-platformio.py

将platformio的pio可执行文件所在目录放到PATH变量

windows cmd:

set HTTPS_PROXY=http://127.0.0.1:7890
set HTTP_PROXY=http://127.0.0.1:7890
md test_esp32dev_pio
cd test_esp32dev_pio
pio init --board esp32dev -O framework=arduino

linux

export HTTPS_PROXY=http://127.0.0.1:7890
export HTTP_PROXY=http://127.0.0.1:7890
mkdir test_esp32dev_pio
cd test_esp32dev_pio
pio init --board esp32dev -O framework=arduino