summaryrefslogtreecommitdiff
path: root/ci/docker-build.sh
diff options
context:
space:
mode:
authorckonstanski <kostcarl@isu.edu>2026-08-13 13:48:29 -0600
committerckonstanski <kostcarl@isu.edu>2026-08-13 13:48:29 -0600
commitc36cf5292c71db74dbb24d4385ed3070a4d91577 (patch)
tree9f37d82d203745f21f1281571874fa7419aa7d23 /ci/docker-build.sh
parent3e2e94afb69b6bc6213b58daa36f350205b5086c (diff)
CI stuff
Diffstat (limited to 'ci/docker-build.sh')
-rwxr-xr-xci/docker-build.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/docker-build.sh b/ci/docker-build.sh
index b927920..470830d 100755
--- a/ci/docker-build.sh
+++ b/ci/docker-build.sh
@@ -3,7 +3,7 @@
. env.sh
builddir='tmp'
-container='bogenherr'
+container='resume'
rm -rf ${builddir}
mkdir ${builddir}
@@ -12,8 +12,8 @@ pushd ${builddir} 2>/dev/null
tar Jcvf docker-start.tar.xz data/
docker stop ${container} || true
-docker container prune -f
docker rmi --force ${container} || true
+docker system prune -f
DOCKER_BUILDKIT=0 docker compose \
--progress "plain" \