🎨 Re-use ./run for ./run-docker-hub

This commit is contained in:
Gerber, Mike 2020-03-02 17:09:51 +01:00
parent 0d61c258a6
commit a5897ead97
2 changed files with 7 additions and 17 deletions

View file

@ -5,16 +5,4 @@
# /home on SELinux secured systems such as Fedora. We might want to use udica
# instead in the future.
DOCKER_IMAGE=mikegerber/my_ocrd_workflow:stable
if echo "$DOCKER_IMAGE" | grep -q "/"; then
docker pull "$DOCKER_IMAGE"
fi
docker run --privileged=true --rm -t \
\
--user `id -u`:`id -g` \
--mount type=bind,src="$(pwd)",target=/data \
\
-e LOG_LEVEL=$LOG_LEVEL \
$DOCKER_IMAGE
DOCKER_IMAGE=mikegerber/my_ocrd_workflow:stable `dirname $0`/run