Skip to content

Commit

Permalink
Merge pull request ricklamers#134 from iambocai/master
Browse files Browse the repository at this point in the history
detect docker command first in run.sh
  • Loading branch information
ricklamers authored Oct 1, 2020
2 parents 09e5628 + 9be6ce5 commit 81cbcb9
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions run.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,13 @@
#!/usr/bin/env bash

# test if docker is (correctly) installed.
which docker >/dev/null 2>&1
if [[ $? -ne 0 ]]; then
echo "ERROR: `docker` command not found, please install docker first."
echo "For more information about docker installation, please visit: https://docs.docker.com/"
exit 1
fi

if [[ "$OSTYPE" == "msys" ]]; then

if [ ! "$(docker ps -a | grep gridstudio)" ]; then
Expand Down

0 comments on commit 81cbcb9

Please sign in to comment.