From f501d0b11445bf9f1c98aa502234f19e39df2c88 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Tue, 17 Jul 2018 17:45:19 +0200
Subject: [PATCH] runner_stop.sh: script to stop gitlab_runner

---
 runner_stop.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 runner_stop.sh

diff --git a/runner_stop.sh b/runner_stop.sh
new file mode 100755
index 0000000..8a598e0
--- /dev/null
+++ b/runner_stop.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+docker stop $(docker ps -a -q --filter ancestor=gitlab_runner --format="{{.ID}}")
-- 
GitLab