beremiz_public_dist: enter_docker_as

enter_docker_as_root.sh

author	Edouard Tisserant <edouard.tisserant@gmail.com>
	Mon, 13 Feb 2023 22:03:09 +0100
changeset 112	b78f14613a6c
parent 37	fd09116d3537
permissions	-rwxr-xr-x

Fix computation of BVERSION leading to error message if beremiz source tree is missing when make is invoked

#!/bin/bash

CONTAINER=beremiz_public_builder_current

docker start $CONTAINER
docker exec -i -t -u root $CONTAINER bash
docker stop $CONTAINER

beremiz_public_dist