diff --git a/README.md b/README.md index dd14d30..7cf5d16 100644 --- a/README.md +++ b/README.md @@ -29,6 +29,9 @@ It's easiest to use it as pre-built containers. To run the containers on an example workspace: ~~~ +# Update to the latest stable containers +~/devel/my_ocrd_workflow/run-docker-hub-update + # Download an example workspace cd /tmp wget https://qurator-data.de/examples/actevedef_718448162.first-page.zip diff --git a/run-docker-hub-update b/run-docker-hub-update new file mode 100755 index 0000000..cc6c860 --- /dev/null +++ b/run-docker-hub-update @@ -0,0 +1,11 @@ +#!/bin/sh +# Update the my_ocrd_workflow containers + +DOCKER_IMAGE_PREFIX=mikegerber/my_ocrd_workflow +DOCKER_IMAGE_TAG=stable + + +sub_images=`ls -1 Dockerfile-* | sed 's/Dockerfile-//'` +for x in $sub_images; do + docker pull $DOCKER_IMAGE_PREFIX-$x:$DOCKER_IMAGE_TAG +done