From 4e9da5d2f53a874a7223c711d5dd3d877ab9681a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Elias=20G=C3=B6tz?= <elias.goetz7@gmail.com>
Date: Fri, 8 Aug 2025 15:03:41 +0200
Subject: [PATCH] Add Feature: let user add the version of user-defined image:
 OVERLEAF_IMAGE_NAME (optionally)

---
 lib/shared-functions.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/shared-functions.sh b/lib/shared-functions.sh
index a35d17c7..9f0aa8ea 100644
--- a/lib/shared-functions.sh
+++ b/lib/shared-functions.sh
@@ -79,7 +79,12 @@ function set_server_pro_image_name() {
   local version=$1
   local image_name
   if [[ -n ${OVERLEAF_IMAGE_NAME:-} ]]; then
-    image_name="$OVERLEAF_IMAGE_NAME"
+    if [[ "$OVERLEAF_IMAGE_NAME" == *:* ]]; then
+      image_name="${OVERLEAF_IMAGE_NAME%%:*}"
+      version="${OVERLEAF_IMAGE_NAME##*:}"
+    else
+      image_name="$OVERLEAF_IMAGE_NAME"
+    fi
   elif [[ $SERVER_PRO == "true" ]]; then
     image_name="quay.io/sharelatex/sharelatex-pro"
   else