beremiz_public_dist: enter_docker_as

enter_docker_as_root.sh

author	Edouard Tisserant <edouard.tisserant@gmail.com>
	Thu, 19 May 2022 18:21:12 +0200
changeset 45	20c1c8a59eab
parent 37	fd09116d3537
permissions	-rwxr-xr-x

Makefile: Allow overriding revisions IDs through environment, to make it possible to build code comming from non HG repos.

#!/bin/bash

CONTAINER=beremiz_public_builder_current

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

beremiz_public_dist