Builds are now available from the Espruino Download Page

You can get up and running quickly:

• Download esptool from here
  
• Download the latest firmwares and unzip espruino_1vXX_esp8266_combined_512.bin
  
• Put the ESP8266 into bootloader mode: use the flash button if there is one, or connect GPIO2 to 3.3v, and then power on your board (or reset it)
  

• Run:

  ./esptool.py --port /dev/ttyUSB0 write_flash 0 espruino_1vXX_esp8266_combined_512.bin
  

Replace /dev/ttyUSB0 with the communications port the ESP8266 is connected to.

Note: If you have a non-512kB board (pretty much anything that's not an ESP01) then this won't be ideal as it's slower and you can't do OTA updates (see the next post) - however it should work and should get you started quite quickly. If you want to do it properly have to follow the real instructions.