run-remote: rebuild image before copying to remote

This commit is contained in:
Sebastian Kuzminsky 2025-09-04 17:08:21 -06:00
parent 0ebd17d6f0
commit f252096589

View file

@ -9,6 +9,12 @@ shift
DIR="/tmp/docker-devtools/infrastructure/${IMAGE}"
mkdir -p "${DIR}"
# Rebuild the docker image to make sure it's up to date.
(
cd "${IMAGE}"
./build.sh
)
# Save the docker image, transfer it and the per-image run script to remote.
docker save -o "${DIR}/image.tar" "${IMAGE}"
cp "${IMAGE}/run.sh" "${DIR}"