[Microbit-Python] Creating Hex File from Mu?

[Nevil Hunt]

Does anyone know if there is a way to generate a Hex file from Mu, rather than just downloading it directly?


The reason why I'm asking is that once I've finished a program I like to keep the Hex file so I can quickly reload it without access to Mu.

I've been doing this by developing in Mu but once complete copying-and-pasting into the Web Python Editor to generate the final Hex.

I've now just started using the Radio module and the Web tool doesn't yet support Radio!


Alternatively is there a way to read the Hex file off a micro:bit? Then I could program using Mu and save the final Hex file by reading it back from the micro:bit.



Cheers,


Nevil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/microbit/attachments/20161101/5cbc2864/attachment.html>