chore: pin devcontainer-cli for .devcontainer config (#19594)

This commit is contained in:
Jon Ayers
2025-08-27 19:26:47 -04:00
committed by GitHub
parent 252f7d461e
commit 0f1fc88d5a
3 changed files with 39 additions and 1 deletions
+5 -1
View File
@@ -1,7 +1,11 @@
#!/bin/sh
install_devcontainer_cli() {
npm install -g @devcontainers/cli@0.80.0 --integrity=sha512-w2EaxgjyeVGyzfA/KUEZBhyXqu/5PyWNXcnrXsZOBrt3aN2zyGiHrXoG54TF6K0b5DSCF01Rt5fnIyrCeFzFKw==
set -e
echo "🔧 Installing DevContainer CLI..."
cd "$(dirname "$0")/../tools/devcontainer-cli"
npm ci --omit=dev
ln -sf "$(pwd)/node_modules/.bin/devcontainer" "$(npm config get prefix)/bin/devcontainer"
}
install_ssh_config() {