diff options
| author |  Jarred Sumner <709451+Jarred-Sumner@users.noreply.github.com>
| 2022-09-02 16:15:23 -0700 |
|---|---|---|
| committer | Jarred Sumner <709451+Jarred-Sumner@users.noreply.github.com>
| 2022-09-02 16:15:23 -0700 |
| commit | 3e9f7ab3e41e6035d6dedc19779799d1dfa67cfa (patch) | |
| tree | cf13e7b10987c321dd5052e73e48df7b3a44c41e /.devcontainer/scripts/github.sh | |
| parent | 89524d55bdbe4a799d6eb8b4141ed7e2ebd0b3ce (diff) | |
| download | bun-3e9f7ab3e41e6035d6dedc19779799d1dfa67cfa.tar.gz bun-3e9f7ab3e41e6035d6dedc19779799d1dfa67cfa.tar.zst bun-3e9f7ab3e41e6035d6dedc19779799d1dfa67cfa.zip | |
Update devcontainer scripts
Won't work until https://github.com/cli/cli/issues/6175 is fixed
Diffstat (limited to '.devcontainer/scripts/github.sh')
| -rw-r--r-- | .devcontainer/scripts/github.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.devcontainer/scripts/github.sh b/.devcontainer/scripts/github.sh index 0cc321dce..b50a32fd5 100644 --- a/.devcontainer/scripts/github.sh +++ b/.devcontainer/scripts/github.sh @@ -178,7 +178,7 @@ echo "Downloading github CLI..." # Import key safely (new method rather than deprecated apt-key approach) and install . /etc/os-release receive_gpg_keys GITHUB_CLI_ARCHIVE_GPG_KEY /usr/share/keyrings/githubcli-archive-keyring.gpg -echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages ${VERSION_CODENAME} main" >/etc/apt/sources.list.d/github-cli.list +echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" >/etc/apt/sources.list.d/github-cli.list apt-get update apt-get -y install "gh${version_suffix}" rm -rf "/tmp/gh/gnupg" |