diff options
| author | Josh Spicer <joshspicer@github.com> | 2022-06-03 17:46:25 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-03 17:46:25 +0300 |
| commit | c12a205ab8e195541acfe0cb654b4888e16ea05c (patch) | |
| tree | a1a45ac7dec9f31fa62972a65414b6d6fd1fd60d /src/github-cli/feature.json | |
| parent | 283b8e1f8f5dec9e54199c107e772ce56683769e (diff) | |
Pass options via environment variables (#39)
* up to docker-in-docker converted
* first pass at the rest of the features (and bash linting and updated CLI
* move shell linter to own file
* rename feature.json -> devcontainer-feature.json
* continue on error
* continue on error in right spot
* formatting
* fix AZ_VERSION
* update python
* restore variable name
* update linter actions, fix dind/dfd/desktop scripts, add test-scenaerios
* add tree because I like tree
* glob for shell linter
* fix test-scenarios
* shell linter
* more shell helper
Diffstat (limited to 'src/github-cli/feature.json')
| -rw-r--r-- | src/github-cli/feature.json | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/github-cli/feature.json b/src/github-cli/feature.json deleted file mode 100644 index 9a00923..0000000 --- a/src/github-cli/feature.json +++ /dev/null @@ -1,16 +0,0 @@ -{ - "id": "github-cli", - "name": "GitHub CLI", - "options": { - "version": { - "type": "string", - "proposals": ["latest", "none"], - "default": "latest", - "description": "Select version of the GitHub CLI, if not latest." - } - }, - "install": { - "app": "", - "file": "install.sh" - } -}
\ No newline at end of file |