--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build_in_docker.sh	Sat Sep 04 01:35:11 2021 +0200
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+CONTAINER=beremiz_public_builder_current
+
+docker start $CONTAINER 
+docker exec -i -t $CONTAINER bash -i -c build $1
+docker stop $CONTAINER
+