Flashing the espruino firmware under ubuntu.
Get the current binaries from (2 files):
https://github.com/espruino/EspruinoBuilds/tree/master/ESP8266
Download the zip file to ensure the correct crc, unzip it. Than connect nodemcu board to your PC and flash the binaries with the following command.
./esptool -bm qio -bz 512K -bf 40 -cp /dev/ttyUSB0 -cb 115200 -cd nodemcu -ca 0x00000 -cf espruino_esp8266_board_0x00000.bin -ca 0x10000 -cf espruino_esp8266_board_0x10000.bin
Download the espruino ide from the crhome extensions/apps. Start it, set the baud rate to 115200. Now you can connect to the new espruino board.
Here is the first example code. Copy to the editor this:
var GPIO2 = new Pin(2);
var toggle=1;
setInterval(function() {
toggle=!toggle;
digitalWrite(GPIO2, toggle);
}, 500);
You can save it to the flash with the save() command.