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
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
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