janishutz/docker
1
0
Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity

Improve build script
Some checks failed
Create and publish container / build_container (push) Failing after 10s
Details

Browse Source
This commit is contained in:
Janis Hutz
2025-12-23 07:32:02 +01:00
parent ff0160935c
commit 0b63418f14
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
latex/build-image.sh
View File

@@ -6,4 +6,6 @@ echo "Build directory is $(pwd)"
OLD_IMG=docker image ls -q "$1"
docker buildx build . -t "$1"
docker push "$1"
echo "New build uploaded, removing old image, id: $OLD_IMG"
docker image rm "$OLD_IMG"