micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the capabilities of modern terminals.
"features": {
"ghcr.io/devcontainers-extra/features/micro:1": {}
}| Options Id | Description | Type | Default Value |
|---|
Note: This file was auto-generated from the devcontainer-feature.json. Add additional notes to a NOTES.md.