feat: auto-install pi-base editor extension in codespaces - Githubissues

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

72 stars 24 forks source link

feat: auto-install pi-base editor extension in codespaces #655

Closed jamesdabbs closed 4 months ago

jamesdabbs commented 4 months ago

Related to https://github.com/pi-base/data/commit/dd40b6f366feb8bf93f2ad7360653f267e1051ad; this should entirely auto-install the extension in codespaces / devcontainers (assuming I'm reading https://code.visualstudio.com/docs/devcontainers/create-dev-container correctly).