From af677abc86742ba4d592b45a3a8fcdca9db3880e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A1clav=20Pavl=C3=ADn?= Date: Thu, 15 Jan 2026 16:20:31 +0100 Subject: [PATCH] fix the skip_install --- scripts/README.md | 2 +- scripts/docker-build.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/README.md b/scripts/README.md index fb8c03c..845eef9 100644 --- a/scripts/README.md +++ b/scripts/README.md @@ -62,7 +62,7 @@ All options are passed directly to `build-local.sh` inside the container. |----------|-------------| | `DOCKER_BUILD=0` | Skip rebuilding the Docker image | | `DOCKER_NOCACHE=1` | Force rebuild Docker image without cache | -| `SKIP_INSTALL=true` | Install artifacts to `~/.nomos-circuits` after build | +| `SKIP_INSTALL=1` | Skip installing artifacts to `~/.nomos-circuits` after build | ### [`Dockerfile`](Dockerfile) diff --git a/scripts/docker-build.sh b/scripts/docker-build.sh index b908fe9..504229b 100755 --- a/scripts/docker-build.sh +++ b/scripts/docker-build.sh @@ -97,7 +97,7 @@ docker run --rm $DOCKER_FLAGS \ log_success "Docker build completed!" -if [[ $SKIP_INSTALL == false ]]; then +if [[ $SKIP_INSTALL == "1" ]]; then log_info "Remember to install the built artifacts if needed." exit 0 fi