commit 7a738818b79ccb7aa29e132fe61ab13f9e8828e6 parent 2a3cadfaed9236bc81a2444425c09d688f93ed3d Author: Christian Grothoff <christian@grothoff.org> Date: Sat, 24 Sep 2022 19:42:26 +0200 get run.sh script to work again Diffstat:
| M | packaging/debian-docker/run.sh | | | 6 | +++--- |
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/packaging/debian-docker/run.sh b/packaging/debian-docker/run.sh @@ -4,9 +4,9 @@ CONTAINER=$USER/debbuilder:latest docker build -t $CONTAINER . rm -rf dist mkdir dist -docker start $CONTAINER -#sleep 1 -ID=`docker container ls -n1 | grep $CONTAINER | awk '{print $1}` +docker run --read-only $CONTAINER sleep 5 & +sleep 1 +ID=`docker container ls | grep $CONTAINER | awk '{print $1}` docker cp "$ID:/build/packages.tgz" . docker stop $CONTAINER docker container rm $ID