From b977c978311f54c54a2f7cf9118b9344d3f658bf Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Tue, 13 Dec 2022 15:22:23 +0100
Subject: [PATCH] add remove runners.

---
 ci-wrappers.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/ci-wrappers.sh b/ci-wrappers.sh
index 7327365..6416846 100644
--- a/ci-wrappers.sh
+++ b/ci-wrappers.sh
@@ -296,7 +296,7 @@ github-runner-repo() (
   _check_variables GITHUBORG
   local workdir
   workdir=$(mktemp --directory "/tmp/ghrunner-${GITHUBORG}_${PWD##*/}_XXXXXX")
-  docker run -d --restart always --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
+  docker run -d --rm --restart always --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 @@ github-runner-org() (
   _check_variables GITHUBORG
   local workdir
   workdir=$(mktemp --directory "/tmp/ghrunner-${GITHUBORG}_XXXXXX")
-  docker run -d --restart always --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
+  docker run -d --rm --restart always --name ghrunner_$(echo "$workdir" | cut -d '-' -f 2) \
     -e RUNNER_NAME_PREFIX="${GITHUBORG}-${PWD##*/}-runner" \
     -e ACCESS_TOKEN="${GITHUBTOKEN}" \
     -e RUNNER_SCOPE="org" \
@@ -323,3 +323,7 @@ github-runner-org() (
     -v "${workdir}":"${workdir}" \
     myoung34/github-runner:latest
 )
+
+github-runner-remove-all() (
+ docker rm $(docker ps -a|grep myoung34/github-runner|cut -f 1 -d ' ')
+)
-- 
GitLab