beremiz_public_dist: enter_docker_as

enter_docker_as_root.sh

author	Edouard Tisserant <edouard.tisserant@gmail.com>
	Sun, 14 Aug 2022 22:45:52 +0200
changeset 99	0623d6d4616b
parent 37	fd09116d3537
permissions	-rwxr-xr-x

GH CD: chechout all projects, even self from prep_sources.yml so that revisions.txt is not too old for Makefile.

#!/bin/bash

CONTAINER=beremiz_public_builder_current

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

beremiz_public_dist