You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
else" echo In order to ensure storage optimization, skipping publishing docker as this is not essential one or publishing is disabled . Docker publish setting is set to ${DockerPublish.show
Copy file name to clipboardExpand all lines: scripts/docker/promote.sh
+9-9Lines changed: 9 additions & 9 deletions
Original file line number
Diff line number
Diff line change
@@ -4,15 +4,15 @@ set -eo pipefail
4
4
5
5
CLEAR='\033[0m'
6
6
RED='\033[0;31m'
7
-
PUBLISH=0
8
-
GCR_REPO=gcr.io/o1labs-192920
7
+
REGISTRY=""
9
8
QUIET=""
10
9
ARCH=amd64
11
10
while [[ "$#"-gt 0 ]];docase$1in
12
11
-n|--name) NAME="$2";shift;;
13
12
-v|--version) VERSION="$2";shift;;
14
13
-t|--tag) TAG="$2";shift;;
15
-
-p|--publish) PUBLISH=1; ;;
14
+
-r|--registry) REGISTRY="$2";shift;;
15
+
-p|--publish_registry) TARGET_REPO="$2";shift;;
16
16
-q|--quiet) QUIET="-q"; ;;
17
17
-a|--arch) ARCH="$2";shift;;
18
18
*) echo"Unknown parameter passed: $1";exit 1;;
@@ -26,9 +26,10 @@ function usage() {
26
26
echo" -n, --name The Docker name (mina-devnet, mina-archive etc.)"
27
27
echo" -v, --version The Docker version"
28
28
echo" -t, --tag The Additional tag"
29
-
echo" -p, --publish The Publish to docker.io flag. If defined script will publish docker do docker.io. Otherwise it will still resides in gcr.io"
29
+
echo" -p, --publish The Publish to docker.io flag. If defined script will publish docker do docker.io. Otherwise it will still resides in source registry"
30
30
echo" -q, --quiet The Quiet mode. If defined script will output limited logs"
31
31
echo" -a, --arch The Architecture of docker (amd64, arm64)"
32
+
echo" -r, --registry The Docker registry (e.g. gcr.io/o1labs-192920)"
0 commit comments