From 968f664123759d690e607b26115dbf8a6f8942fe Mon Sep 17 00:00:00 2001
From: Tuomas Laine <tuomaslaine97@gmail.com>
Date: Tue, 13 Jun 2023 11:31:01 +0000
Subject: [PATCH] Add --rm to build docker options

Removes the containers after finishing instead of leaving them hanging.
---
 scripts/docker_build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/docker_build.py b/scripts/docker_build.py
index aa06953..93a6f4c 100644
--- 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,