Instructions

Manually Adding Board Manager

To manually add the board manager for ESP8266 perform the following steps:


> cd ~/Documents/Arduino/hardware

> mkdir esp8266com

> cd esp8266com

> git clone https://github.com/esp8266/Arduino.git esp8266

> cd esp8266


Switch to the release tag

> git checkout 2.4.2


Restart the Arduino IDE




References

ReferenceURL
ESP8266 Homehttps://github.com/esp8266/Arduino
Installing Board Managerhttps://arduino-esp8266.readthedocs.io/en/latest/installing.html