diff options
| author | mo khan <mo.khan@gmail.com> | 2020-02-26 15:57:48 -0700 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-02-26 15:57:48 -0700 |
| commit | b3563987c1c0aaa37b827713a291b53bd6048a4b (patch) | |
| tree | 199103717826b9bcdf088fc062af1fe679ee8be8 | |
| parent | 0d8333b37ea26a9940ca6e8a78713d55135a6053 (diff) | |
Check if docker is installed
| -rwxr-xr-x | bin/docker-build | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bin/docker-build b/bin/docker-build index 428dda8..1751c74 100755 --- a/bin/docker-build +++ b/bin/docker-build @@ -4,6 +4,12 @@ set -e cd "$(dirname "$0")/.." -IMAGE_NAME=${IMAGE_NAME:-$(basename "$PWD"):latest} +if command -v docker; then + IMAGE_NAME=${IMAGE_NAME:-$(basename "$PWD"):latest} + + docker build . -t "$IMAGE_NAME" --pull +else + echo "Install docker: https://docs.docker.com/engine/installation/" + exit 1 +fi -docker build . -t "$IMAGE_NAME" --pull |