diff --git a/extra/install.batsh b/extra/install.batsh index d0ac2794..bca0b095 100644 --- a/extra/install.batsh +++ b/extra/install.batsh @@ -212,8 +212,8 @@ if (type == "local") { bash("check=$(docker info)"); bash("if [[ \"$check\" == *\"Is the docker daemon running\"* ]]; then - echo \"Error: docker is not running\" - exit 1 + \"echo\" \"Error: docker is not running\" + \"exit\" \"1\" fi"); if ("$3" != "") { diff --git a/install.sh b/install.sh index ede9f464..37d67531 100644 --- a/install.sh +++ b/install.sh @@ -176,8 +176,8 @@ else fi check=$(docker info) if [[ "$check" == *"Is the docker daemon running"* ]]; then - echo "Error: docker is not running" - exit 1 + "echo" "Error: docker is not running" + "exit" "1" fi if [ "$3" != "" ]; then port="$3"