Summary of changes:
build/run-build-docker-images.sh | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
via b6f4c7c99ed8ebb295bff56d498b21f42d6913d3 (commit)
from 82f7de72085b45832bddc64fec334cdfdc1e9a03 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
commit b6f4c7c99ed8ebb295bff56d498b21f42d6913d3
Author: Ward Vandewege <ward at curii.com>
Date: Wed Oct 21 12:06:26 2020 -0400
16930: make run-build-docker-images.sh a little smarter, allow building
just one type of arvbox images (part 2).
Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward at curii.com>
diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh
index f0d1092b6..7cb8cf76a 100755
--- a/build/run-build-docker-images.sh
+++ b/build/run-build-docker-images.sh
@@ -181,8 +181,12 @@ else
## even though credentials are already in .dockercfg
docker login -u arvados
- docker_push arvados/arvbox-dev
- docker_push arvados/arvbox-demo
+ if [[ "$images" =~ dev ]]; then
+ docker_push arvados/arvbox-dev
+ fi
+ if [[ "$images" =~ demo ]]; then
+ docker_push arvados/arvbox-demo
+ fi
title "upload arvados images complete (`timer`)"
else
title "upload arvados images SKIPPED because no --upload option set"
-----------------------------------------------------------------------
hooks/post-receive
--