In oio.sh 'medley pulldev' command, delete old dev image. Supports au…

…tomated builds
Interlisp · Jun 7, 2024 · 19eec1f · 19eec1f
1 parent 630f18c
commit 19eec1f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/system/oio.sh b/system/oio.sh
@@ -205,7 +205,13 @@ case $1 in
 
 
            IpulldevI)
+                olddev=$(docker images -q ghcr.io/interlisp/online-medley:development)
 		docker pull ghcr.io/interlisp/online-medley:development
+                newdev=$(docker images -q ghcr.io/interlisp/online-medley:development)
+                if [ -n "${olddev}" ] && [ "${olddev}" != "${newdev}" ]
+                then
+                  docker image rm ${olddev}
+                fi
                 echo "Online-medley development release pulled from Github Container Registry"
            ;;