I would like to be able to know which extensions are used in a Microbit MakeCode project / hex file

[yossiy66]

I am a Computer Sciences and Robotics teacher in Junior High and High School. I am using a lot of 3rd party hardware with Microbit, and they almost always require an extension. These extensions often have newer versions over time.

I would like to know (i.e. get a written list) which extensions were used in a given MakeCode project / hex file (preferrably the exact links, but I could make do with a unique name that will enable me to locate them in the Extensions). Possible solutions are:

1. When an extension is added, a comment with the link is automatically added to the MakeCode blocks.
2. For existing projects I suggest you add a button to the MakeCode UI which will scan the code and add a Comment Block with the list of extensions.
3. An alternative solution would be to build separate software tool which will take a hex file as input and will extract the list of extensions into a text file or a list on the screen I could copy (and then manually paste wherever I want).

Thank you Yossi

Example of comment (the HTML editor turned the astrisks into bullets...): /**

• Extensions:
• SuperbitV2: https://github.com/YahboomTechnology/SuperBitLibV2
• IR Remote: https://makecode.microbit.org/pkg/1010technologies/pxt-makerbit-ir-receiver */

[microbit-carlos]

You can currently see what extensions are loaded in the pxt.json file.

To view it:

• Click on the settings cog and go to the "project settings"

  

• Click on the "Edit settings as text" button

• The JSON file shows the extensions used and their version:

[abchatra]

Question answered.