mirror of
				https://github.com/qurator-spk/ocrd-galley.git
				synced 2025-10-30 02:34:13 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			31 lines
		
	
	
	
		
			744 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			31 lines
		
	
	
	
		
			744 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
| #!/bin/sh
 | |
| # Run the my_ocrd_workflow container on the current workspace
 | |
| 
 | |
| set -e  # Abort on error
 | |
| 
 | |
| DOCKER_IMAGE=${DOCKER_IMAGE:-my_ocrd_workflow:latest}  # default to locally built
 | |
| 
 | |
| if echo "$DOCKER_IMAGE" | grep -q "/"; then
 | |
|   docker pull "$DOCKER_IMAGE"
 | |
| fi
 | |
| 
 | |
| 
 | |
| # XXX Work around podman vs docker uid behaviour
 | |
| if docker -v 2>&1 | grep -q podman; then
 | |
|   user="0:0"
 | |
| else
 | |
|   user="`id -u`:`id -g`"
 | |
| fi
 | |
| 
 | |
| 
 | |
| # The container currently needs to run privileged to allow it to read from e.g.
 | |
| # /home on SELinux secured systems such as Fedora. We might want to use udica
 | |
| # instead in the future.
 | |
| 
 | |
| docker run --privileged=true --rm -t \
 | |
|   \
 | |
|   --user $user \
 | |
|   --mount type=bind,src="$(pwd)",target=/data \
 | |
|   \
 | |
|   -e LOG_LEVEL=$LOG_LEVEL \
 | |
|   $DOCKER_IMAGE "$@"
 |