这几天想体验一下arduino. 安装完arduino 的ide后准备按照教程安装esp8266 board,但是按照 http://esp8266.github.io/Arduino … doc/installing.html 填好 url后,使用boards manager找到esp8266 然后点击install总是提示失败 Error downloading xxx
找了半天没有找到原因,今天再次设置时突然意识到,这是个github的地址啊,在万恶的资本主义国度里这没有什么特别的,可我不在啊。然后安装上了神器,设置好代理后,嗖嗖的就安装完了。
这里简单介绍下神灯作为所有网络连接代理的设置方法,其他很简单,需要用神灯的软件填写神灯地址127.0.0.1,端口8787 即可。如arduino的就在 Preferences–>Network里面填写。
附上一篇介绍神灯使用的文章 https://program-think.blogspot.com/2015/08/gfw-lantern.html