From 1229c3b328cd6fb07787abab8826f60ded6fdea6 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Mon, 12 Dec 2022 21:26:26 +0100
Subject: [PATCH] fixes typos.
---
ci-wrappers.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ci-wrappers.sh b/ci-wrappers.sh
index 9905f5e..af0ca48 100644
--- a/ci-wrappers.sh
+++ b/ci-wrappers.sh
@@ -5,6 +5,7 @@ _E_TITLE='\033[0;0m'
_init() {
source "${HOME}/.ci-wrappers/config"
+ CI_DOCKER_ENGINE_HOME="${CI_WRAPPERS_HOME}/vagrant-docker-engine"
}
var_expand() {
@@ -88,7 +89,6 @@ install-ci-software() {
provision-docker-engine() {
_init
# _check_variables VAGRANT_HTTP_PROXY VAGRANT_HTTPS_PROXY VAGRANT_NO_PROXY
- CI_DOCKER_ENGINE_HOME="${CI_WRAPPERS_HOME}/vagrant-docker-engine"
echo "Docker Vagrant Home: ${CI_DOCKER_ENGINE_HOME}"
if [ ! -d "${CI_DOCKER_ENGINE_HOME}" ]; then
git clone -q https://github.com/ebpro/VagrantDockerProvisioningUsage.git "${CI_DOCKER_ENGINE_HOME}" &&
@@ -102,7 +102,7 @@ provision-docker-engine() {
docker-vagrant() {
_init
- CI_DOCKER_ENGINE_HOME="${CI_WRAPPERS_HOME}/vagrant-docker-engine"
+ [[ ! -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