You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
But new users to Codespaces and devcontainers.json specifically, do not understand how to add an extension or how that looks like. It would be useful to have either a link to documentation or a sample ID for a VSCode extension that could be used (or both).
The feature of right-clicking an extension and selecting "add to devcontainer.json" is incredibly useful but hardly used because there isn't awareness.
This issue in particular is brought forward based on feedback from students while learning to use Devcontainers for the first time.
The text was updated successfully, but these errors were encountered:
Currently most (all?) templates provide an entry for customizations similar to:
But new users to Codespaces and
devcontainers.json
specifically, do not understand how to add an extension or how that looks like. It would be useful to have either a link to documentation or a sample ID for a VSCode extension that could be used (or both).The feature of right-clicking an extension and selecting "add to devcontainer.json" is incredibly useful but hardly used because there isn't awareness.
This issue in particular is brought forward based on feedback from students while learning to use Devcontainers for the first time.
The text was updated successfully, but these errors were encountered: