diff options
Diffstat (limited to 'src/local/docker/docker-build-single.sh')
| -rwxr-xr-x | src/local/docker/docker-build-single.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/local/docker/docker-build-single.sh b/src/local/docker/docker-build-single.sh new file mode 100755 index 00000000..631a986b --- /dev/null +++ b/src/local/docker/docker-build-single.sh @@ -0,0 +1,8 @@ +#!/bin/bash +ROOT_DOCKER_DIR=$(dirname $(realpath $0))/../../../res/docker/ +FEDORA_SINGLE_DOCKER=$ROOT_DOCKER_DIR/fedora-single +if [ ! -e .git ]; then + echo run from top level checkout of rhizi repository + exit 0 +fi +docker build -t rhizi/fedora-single:0.1 -f $FEDORA_SINGLE_DOCKER/Dockerfile $ROOT_DOCKER_DIR |