Extension support: Allow a field in pxt.json that will be an extension
Open
@riknoll is already working on this.
Since Nov 13, 2023.
enhancement
extensions
- Dominant language
- TypeScript
- Stars
- 2.3k
- Forks
- 641
- Avg merge
- 12h 4m
- Merged PRs (30d)
- 57
Description
When creating an extension, the name of the extension needs to match the repo name in order for the help pages to work. That's fine, but that means that the way the extension will appear in the extension list will be a repo name, which is usually much longer than needed. It would be nice to have a field like displayName or something similar that can be used as the extension's listed name instead of the repo name.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.