🐳 run-docker-hub-update: Update to the latest containers

feat/check-BEST-dimensions
Gerber, Mike 4 years ago
parent 12a305242f
commit 9d42de5da4

@ -29,6 +29,9 @@ It's easiest to use it as pre-built containers. To run the containers on an
example workspace: example workspace:
~~~ ~~~
# Update to the latest stable containers
~/devel/my_ocrd_workflow/run-docker-hub-update
# Download an example workspace # Download an example workspace
cd /tmp cd /tmp
wget https://qurator-data.de/examples/actevedef_718448162.first-page.zip wget https://qurator-data.de/examples/actevedef_718448162.first-page.zip

@ -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
Loading…
Cancel
Save