You are reading a single comment by @Gordon and its replies. Click here to read the full conversation.
  • Hmm - thanks - it definitely looks broken. Maybe it should be removed? Presumably very few people use it if this is the first time someone's reported a problem?

    If you're using an external editor, have you considered just using EspruinoTools? npm install espruino

    You can make it watch a file and auto-upload when it changes

About

Avatar for Gordon @Gordon started