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

Build script fixes
All checks were successful
Create and publish container / build_container (push) Successful in 11s
Details

Browse Source
This commit is contained in:
Janis Hutz
2025-12-23 07:53:53 +01:00
parent 3608fe6687
commit 618438001a
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
latex/build-image.sh
View File

@@ -1,5 +1,7 @@
#!/bin/sh #!/bin/sh
set -e
echo "Build will be tagged with $1" echo "Build will be tagged with $1"
echo "Build directory is $(pwd)" echo "Build directory is $(pwd)"
@@ -12,6 +14,6 @@ docker push "$1"
if [ -n "$OLD_IMG" ]; then if [ -n "$OLD_IMG" ]; then
if [ "$OLD_IMG" != "$(docker image ls -q "$1")" ]; then if [ "$OLD_IMG" != "$(docker image ls -q "$1")" ]; then
echo "New build uploaded, removing old image, id: $OLD_IMG" echo "New build uploaded, removing old image, id: $OLD_IMG"
docker image rm "$OLD_IMG" docker image rm "$OLD_IMG" || true
fi fi
fi fi