You are reading a single comment by @Gordon and its replies. Click here to read the full conversation.
  • Hi,

    Just thought I'd let you know that the espruinotool command-line tool is now available: https://github.com/espruino/espruino-tools

    You'll need node.js and npm installed before you can use it, but hopefully after that it should be pretty multi-platform. Installation instructions are at the link, and once installed it should be pretty easy to integrate it with your favourite editor.

    There are already two node.js-based tools out there ( espruino-cli and node-espruino), but this one uses exactly the same code as the Web IDE - so will handle everything that the Web IDE does.

About

Avatar for Gordon @Gordon started