diff options
| author | Olcan <[email protected]> | 2025-04-25 10:58:23 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-25 10:58:23 -0700 |
| commit | 320f54e2057da5ae92ee47d9d53d1c77a4badc19 (patch) | |
| tree | 9d2239d747828dd191ef4ef682c08853319d9cf5 /scripts/build.sh | |
| parent | eea524f6bb8becf851e44a57b397217b0a147be0 (diff) | |
instant (dev) sandbox (#171)
* instant (dev) sandbox
* leave Dockerfile as is to pass deploy test
* fix comma
* fix prod build
* do not use "images exists" which docker does not support
* separate dev-mode flag
* Merge remote-tracking branch 'origin/main' into instant_sandbox
Diffstat (limited to 'scripts/build.sh')
| -rwxr-xr-x | scripts/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 46304919..f14c3984 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -25,6 +25,7 @@ npm run build --workspaces # also build container image if sandboxing is enabled # skip (-s) npm install + build since we did that above +# use (-d) for dev build that can reuse existing image if scripts/sandbox_command.sh -q; then - scripts/build_sandbox.sh -s + scripts/build_sandbox.sh -sd fi |