From 389fcd77ea34c721bdeb53b89d8ab321e3ecdc4b Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Mon, 12 Dec 2022 17:03:04 +0100
Subject: [PATCH] adds an install script.
---
get-ci-wrapper.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/get-ci-wrapper.sh b/get-ci-wrapper.sh
index b1d6874..4ec427a 100755
--- a/get-ci-wrapper.sh
+++ b/get-ci-wrapper.sh
@@ -1,6 +1,7 @@
#!/usr/bin/env bash
_create_config() (
+ echo HOME: "${HOME}"
# Create or update default config file
mkdir -p "${HOME}/.ci-wrappers/"
cat >!"${HOME}/.ci-wrappers/config" <<END
--
GitLab