Add --rm to build docker options

Removes the containers after finishing instead of leaving them hanging.
apluslms · Jun 13, 2023 · 968f664 · 968f664
1 parent 5e7920a
commit 968f664
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/docker_build.py b/scripts/docker_build.py
@@ -32,6 +32,7 @@ def build(
     command = [
         "docker", "run",
         *env_args,
+        "--rm",
         "-v", f"{host_path}:/content",
         "--workdir", "/content",
         image,