I do not know how to fix the error that the IDE is throwing. But once that's fixed, you can click the cylinder icon to view the list of files in the device storage, and then each file will have a couple buttons, including a trash can to delete it. Or, you can use the Storage module. Specifically, require("Storage").erase(".boot0") and require("Storage").erase(".bootcde").
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.
I do not know how to fix the error that the IDE is throwing. But once that's fixed, you can click the cylinder icon to view the list of files in the device storage, and then each file will have a couple buttons, including a trash can to delete it. Or, you can use the Storage module. Specifically,
require("Storage").erase(".boot0")
andrequire("Storage").erase(".bootcde")
.