Update runInPupeteerDocker from master

gchq · Sep 4, 2024 · 06f4d9b · 06f4d9b
1 parent ee1ba25
commit 06f4d9b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/container_build/runInPupeteerDocker.sh b/container_build/runInPupeteerDocker.sh
@@ -221,6 +221,16 @@ main() {
   echo -e "${GREEN}Group ID ${BLUE}${group_id}${NC}"
   echo -e "${GREEN}Local repo root dir ${BLUE}${local_repo_root}${NC}"
 
+  if ! docker version >/dev/null 2>&1; then
+    echo -e "${RED}ERROR: Docker is not installed. Please install Docker or Docker Desktop.${NC}"
+    exit 1
+  fi
+
+  if ! docker buildx version >/dev/null 2>&1; then
+    echo -e "${RED}ERROR: Docker buildx is not installed. Please install it.${NC}"
+    exit 1
+  fi
+
   # So we are not rate limited, login before doing the build as this
   # will pull images
   docker_login