From f62e298c0e45c996c9867bada30e2d9b285dc156 Mon Sep 17 00:00:00 2001
From: Erik Bershel <110455084+erik-bershel@users.noreply.github.com>
Date: Fri, 9 Jan 2026 18:44:53 +0100
Subject: [PATCH] [Ubuntu] Fix puling condition (#13514)

---
 images/ubuntu/scripts/build/install-docker.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/images/ubuntu/scripts/build/install-docker.sh b/images/ubuntu/scripts/build/install-docker.sh
index 908c695e1..40090835b 100644
--- a/images/ubuntu/scripts/build/install-docker.sh
+++ b/images/ubuntu/scripts/build/install-docker.sh
@@ -7,6 +7,7 @@
 
 # Source the helpers for use with the script
 source $HELPER_SCRIPTS/install.sh
+source $HELPER_SCRIPTS/os.sh
 
 REPO_URL="https://download.docker.com/linux/ubuntu"
 GPG_KEY="/usr/share/keyrings/docker.gpg"