From aee774329ff2f240f26d2d9657b06c174f4e18cd Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Wed, 2 Nov 2022 20:55:53 +0100
Subject: [PATCH] feat: Kill previous container for the same project if it
 exists

---
 scripts/gx-teaching | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/scripts/gx-teaching b/scripts/gx-teaching
index 163f567..4551ca2 100755
--- a/scripts/gx-teaching
+++ b/scripts/gx-teaching
@@ -3,6 +3,7 @@
 
 # Set defaults
 BASEDIR="$(pwd)"
+BASEHASH="$(echo "$BASEDIR" |sha256sum |head -c7)"
 ACTION="watch"
 VERBOSITY="0"
 DOCKER_IMAGE=glenux/teaching-boilerplate:latest
@@ -104,7 +105,17 @@ fi
 if [ "$VERBOSITY" -gt 0 ]; then
 	set -x
 fi
+
+DOCKER_NAME="gx-teaching-$BASEHASH"
+DOCKER_CID="$(docker ps -f "name=$DOCKER_NAME" -q)"
+
+if [ -n "$DOCKER_CID" ]; then
+	docker kill "$DOCKER_NAME"
+fi
+
 docker run -i $DOCKER_OPT_TTY \
+	--name "$DOCKER_NAME" \
+	--rm \
 	--shm-size=1gb \
 	-e "EXT_UID=$(id -u)" \
 	-e "EXT_GID=$(id -g)" \