feat (CI): add script for cleaning docker data

VariantSync · Jun 7, 2024 · a1f2d64 · a1f2d64
1 parent ea45731
commit a1f2d64
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/clean.bat b/clean.bat
@@ -0,0 +1,12 @@
+@echo "Cleaning all related Docker data. This may take a moment..."
+
+@echo "Trying to stop running containers..."
+@FOR /f "tokens=*" %%i IN ('docker ps -a -q --filter "ancestor=boosting"') DO docker stop %%i
+
+@echo "Removing boosting image..."
+docker image rm boosting
+
+@echo "Removing boosting containers..."
+@FOR /f "tokens=*" %%i IN ('docker ps -a -q --filter "ancestor=boosting"') DO docker container rm %%i
+
+@echo "...done."
diff --git a/clean.sh b/clean.sh
@@ -0,0 +1,9 @@
+#! /bin/bash
+echo "Cleaning all related Docker data. This may take a moment..."
+echo "Trying to stop running containers..."
+docker stop "$(docker ps -a -q --filter "ancestor=boosting")"
+echo "Removing boosting image..."
+docker image rm boosting
+echo "Removing boosting containers..."
+docker container rm "$(docker ps -a -q --filter "ancestor=boosting")"
+echo "...done."