diff options
author | red031000 <rubenru09@aol.com> | 2020-06-20 21:25:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-20 21:25:34 +0100 |
commit | 7e6562f747a773ef3ad764c6d0b6b1f2e7d6cfc6 (patch) | |
tree | 24e1bb3e1a14991110255665aee09957c9306a0f /contrib/docker/build_docker.sh | |
parent | 863b09f18dca59864a95cc72afdaac9b13332d13 (diff) | |
parent | e9e192ce20e2f863a836c3ee9ab364921d068116 (diff) |
Merge branch 'master' into master
Diffstat (limited to 'contrib/docker/build_docker.sh')
-rwxr-xr-x | contrib/docker/build_docker.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/contrib/docker/build_docker.sh b/contrib/docker/build_docker.sh new file mode 100755 index 00000000..b59e2158 --- /dev/null +++ b/contrib/docker/build_docker.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +ver="0.1" + +docker inspect pokediamond:$ver > /dev/null +if [ $? = 0 ]; then + echo "Not rebuilding image since image exists"; +else + docker build -t pokediamond:$ver $(git rev-parse --show-toplevel)/contrib/docker +fi +docker run --network=none -it -v $(git rev-parse --show-toplevel):/app pokediamond:$ver |