Change device name without overriding Espruino services

You are reading a single comment by @nielsmouthaan and its replies. Click here to read the full conversation.

•

By the way, there's an issue with saving and loading source code via the web IDE:

Uncaught TypeError: Cannot read property 'chooseEntry' of undefined
    at loadFile (file.js:79)
    at HTMLAnchorElement.click (file.js:36)
    at HTMLAnchorElement.dispatch (jquery-1.11.0.js:4624)
    at HTMLAnchorElement.elemData.handle (jquery-1.11.0.js:4292)

Change device name without overriding Espruino services

About

Espruino