From bdd94798a10dac1235c0fb1212376a712c57f955 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Tue, 13 Dec 2022 15:36:13 +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 8534704..edd2356 100644
--- a/ci-wrappers.sh
+++ b/ci-wrappers.sh
@@ -296,7 +296,7 @@ ci-github-runner-repo() (
_check_variables GITHUBORG
local workdir
workdir=$(mktemp --directory "/tmp/ghrunner-${GITHUBORG}_${PWD##*/}_XXXXXX")
- docker run -d --rm --restart unless-stopped --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
+ docker run -d --restart unless-stopped --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
-e RUNNER_NAME_PREFIX="${GITHUBORG}-${PWD##*/}-runner" \
-e ACCESS_TOKEN="${GITHUBTOKEN}" \
-e RUNNER_SCOPE="repo" \
@@ -312,7 +312,7 @@ ci-github-runner-org() (
_check_variables GITHUBORG
local workdir
workdir=$(mktemp --directory "/tmp/ghrunner-${GITHUBORG}_XXXXXX")
- docker run -d --rm --restart unless-stopped --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
+ docker run -d --restart unless-stopped --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
-e RUNNER_NAME_PREFIX="${GITHUBORG}-${PWD##*/}-runner" \
-e ACCESS_TOKEN="${GITHUBTOKEN}" \
-e RUNNER_SCOPE="org" \
--
GitLab