Skip to content

Adds a helper script for "devcontainer upgrades" #955

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AlvaroRausell merged 4 commits into from
Oct 14, 2025
+24 −0
Merged

Adds a helper script for "devcontainer upgrades" #955

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
907d372
Add a script to upgrade lockfiles for all images
samruddhikhandale Dec 1, 2023
6e702c2
Adds a helper script for devcontainer upgrades
samruddhikhandale Feb 8, 2024
b3dfa2d
Merge branch 'samruddhikhandale/upgrade-script' of https://github.com…
samruddhikhandale Feb 8, 2024
fdfa6b7
remove stale file
samruddhikhandale Feb 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 24 additions & 0 deletions build/upgrade-lockfiles.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
#!/bin/bash

# Pass image name to upgrade only a single image, else it upgrades all the images
IMAGE_NAME=$1
workspaceFolder="/workspaces/images/src"

if [ ! -z "$IMAGE_NAME" ]; then
echo "-----------------------------------------------"
echo "Upgrading image $IMAGE_NAME"
echo "-----------------------------------------------"
devcontainer upgrade --workspace-folder "${workspaceFolder}/${IMAGE_NAME}/"
exit 0
fi

for dir in /workspaces/images/src/*/
do
cd "${dir}"
image=$(basename $dir)
echo "-----------------------------------------------"
echo "Upgrading image $image"
echo "-----------------------------------------------"
devcontainer upgrade --workspace-folder .
cd ..
done