From 70cfd1be67f6a5e440aa44c5635acb925719f6bc Mon Sep 17 00:00:00 2001 From: Ruslan Mstoi Date: Thu, 3 Aug 2023 17:38:53 +0300 Subject: [PATCH] scripts: dev_cli: add possibly to use different container registry Currently if container registry is inaccessible the image will be built locally and that takes time. This patch adds support to use mirror registry. To use a different registry CTR_IMAGE environment variable must be set. For example: CTR_IMAGE="registry/cloud-hypervisor" scripts/dev_cli.sh or export CTR_IMAGE="registry/cloud-hypervisor" scripts/dev_cli.sh Signed-off-by: Ruslan Mstoi --- scripts/dev_cli.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dev_cli.sh b/scripts/dev_cli.sh index 86d461075..618c39178 100755 --- a/scripts/dev_cli.sh +++ b/scripts/dev_cli.sh @@ -8,7 +8,7 @@ CLI_NAME="Cloud Hypervisor" CTR_IMAGE_TAG="ghcr.io/cloud-hypervisor/cloud-hypervisor" CTR_IMAGE_VERSION="20230620-0" -CTR_IMAGE="${CTR_IMAGE_TAG}:${CTR_IMAGE_VERSION}" +: "${CTR_IMAGE:=${CTR_IMAGE_TAG}:${CTR_IMAGE_VERSION}}" DOCKER_RUNTIME="docker"