enter_docker.sh
author etisserant <edouard.tisserant@gmail.com>
Tue, 17 May 2022 16:03:04 +0200
changeset 41 77b38c4d0d7f
parent 37 fd09116d3537
permissions -rwxr-xr-x
Dockerfile: use script rather than alias so that bash doesn't need to be interactive shell with a TTY
#!/bin/bash

CNT=beremiz_public_builder_current

docker start -i $CNT