diff -r 1a2658f109da -r c460ec8c65e9 build_in_docker.sh
--- a/build_in_docker.sh	Thu May 19 18:08:47 2022 +0200
+++ b/build_in_docker.sh	Thu May 19 18:19:23 2022 +0200
@@ -3,6 +3,6 @@
 CONTAINER=beremiz_public_builder_current
 
 docker start $CONTAINER 
-docker exec -i -t $CONTAINER bash -i -c build $1
+docker exec $CONTAINER bash -c build $1
 docker stop $CONTAINER