diff options
Diffstat (limited to 'src/github-cli')
| -rw-r--r-- | src/github-cli/devcontainer-feature.json (renamed from src/github-cli/feature.json) | 5 | ||||
| -rw-r--r-- | src/github-cli/install.sh | 4 |
2 files changed, 5 insertions, 4 deletions
diff --git a/src/github-cli/feature.json b/src/github-cli/devcontainer-feature.json index 9a00923..a99634c 100644 --- a/src/github-cli/feature.json +++ b/src/github-cli/devcontainer-feature.json @@ -4,7 +4,10 @@ "options": { "version": { "type": "string", - "proposals": ["latest", "none"], + "proposals": [ + "latest", + "none" + ], "default": "latest", "description": "Select version of the GitHub CLI, if not latest." } diff --git a/src/github-cli/install.sh b/src/github-cli/install.sh index 01ad4d4..4fea41b 100644 --- a/src/github-cli/install.sh +++ b/src/github-cli/install.sh @@ -6,10 +6,8 @@ # # Docs: https://github.com/microsoft/vscode-dev-containers/blob/main/script-library/docs/github.md # Maintainer: The VS Code and Codespaces Teams -# -# Syntax: ./github-debian.sh [version] -CLI_VERSION=${1:-"latest"} +CLI_VERSION=${VERSION:-"latest"} GITHUB_CLI_ARCHIVE_GPG_KEY=C99B11DEB97541F0 GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com:80 |