Add ESP8266 support to Arduino IDE
Full instructions are here. The ESP8266 extension is now at version 2.4.1.
Use the boardmanager to add new functionality to the Arduino IDE. Use http://arduino.esp8266.com/stable/package_esp8266com_index.json into the Additional Board Manager URLs field.
Documentation can be found here.
The Arduino IDE does not facilitates uploading an external binary like EspEasy. A tool is available for Windows and is delivered with every (daily) beta release to be found here. There are at least 2 bash scripts around that try to solve this. They can be found here. Both use the esptool as integrated in the ESP extension installed.
There is a standalone esptool.py available, supported by Espressif the can be installed using Python pip. First install pip and use it subsequently to install epstool.py. Do the latter as non-priv'd user:
user@d610:~ sudo apt-get install python-pip user@d610:~ pip install esptool
The esptool.py gets installed into ~/.local/bin. The before mentioned scripts can be adapted to use this esptool instead of the esptool in the IDE environment. It lets you choose the programming port and the .bin files in the current directory, which then will flashed into the ESP. The tool can be used standalone too and has many options (use esptool.py --help of -h). The (modified) scripts are just for flashing the EspEasy bin file, just like the Windows tool. See Espressif on github.