From 7a738818b79ccb7aa29e132fe61ab13f9e8828e6 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 24 Sep 2022 19:42:26 +0200
Subject: get run.sh script to work again

---
 packaging/debian-docker/run.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'packaging/debian-docker/run.sh')

diff --git a/packaging/debian-docker/run.sh b/packaging/debian-docker/run.sh
index f809eb1..c03607b 100755
--- 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
-- 
cgit v1.2.3