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 9s
Details

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