From bc70ecfba7ab3a729624e478a74184512d5fb98d Mon Sep 17 00:00:00 2001 From: LouisLam Date: Wed, 1 Sep 2021 14:56:19 +0800 Subject: [PATCH] fix install script --- extra/install.batsh | 4 ++-- install.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/extra/install.batsh b/extra/install.batsh index d0ac2794f..bca0b095f 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 ede9f4641..37d675317 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"