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

Update build script
Create and publish container / build_container (push) Successful in 12s
Details

Browse Source
This commit is contained in:
janishutz committed 2025-12-23 08:14:58 +01:00
1 parent 58bee06709
commit 9668af79f4
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
latex/build-image.sh
+1 -1
View File
@@ -14,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" || true docker image rmi -f "$OLD_IMG" || true
fi fi
fi fi