clean_docker_container.sh
changeset 37 fd09116d3537
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/clean_docker_container.sh	Sat Sep 04 01:35:11 2021 +0200
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# delete container
+docker rm beremiz_public_builder_current
+