diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-09-24 19:42:26 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-09-24 19:42:26 +0200 |
| commit | 7a738818b79ccb7aa29e132fe61ab13f9e8828e6 (patch) | |
| tree | 40886fc16185cfb017041ade995fcfbc6313113f | |
| parent | 2a3cadfaed9236bc81a2444425c09d688f93ed3d (diff) | |
| download | deployment-7a738818b79ccb7aa29e132fe61ab13f9e8828e6.tar.gz deployment-7a738818b79ccb7aa29e132fe61ab13f9e8828e6.tar.bz2 deployment-7a738818b79ccb7aa29e132fe61ab13f9e8828e6.zip | |
get run.sh script to work again
| -rwxr-xr-x | packaging/debian-docker/run.sh | 6 |
1 files changed, 3 insertions, 3 deletions
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 |