From d45f781469df624eefb884ed66e02165c049b9cf Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Mon, 12 Dec 2022 21:28:11 +0100
Subject: [PATCH] fixes typos.
---
ci-wrappers.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ci-wrappers.sh b/ci-wrappers.sh
index af0ca48..871efa0 100644
--- a/ci-wrappers.sh
+++ b/ci-wrappers.sh
@@ -95,15 +95,15 @@ provision-docker-engine() {
cd "${CI_DOCKER_ENGINE_HOME}"
else
cd "${CI_DOCKER_ENGINE_HOME}" &&
- git pull -q
+ git pull -q
fi
vagrant up
}
docker-vagrant() {
_init
- [[ ! -d "${CI_DOCKER_ENGINE_HOME}" ]] { echo "Vagrant Docker not provisioned run : provision-docker-engine"; exit 0; }
- CI_DOCKER_ENGINE_ID=$(vagrant global-status|grep "$CI_DOCKER_ENGINE_HOME"|cut -d ' ' -f 1)
+ [[ ! -d "${CI_DOCKER_ENGINE_HOME}" ]] && echo "Vagrant Docker not provisioned run : provision-docker-engine" && exit 0
+ CI_DOCKER_ENGINE_ID=$(vagrant global-status | grep "$CI_DOCKER_ENGINE_HOME" | cut -d ' ' -f 1)
# shellcheck disable=SC2068
vagrant $@ "$CI_DOCKER_ENGINE_ID"
}
--
GitLab