diff options
| author | Olcan <[email protected]> | 2025-04-24 18:03:33 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-24 18:03:33 -0700 |
| commit | cbba8007b242f7212ff5bcce618c569b25235024 (patch) | |
| tree | 684cb05c218d33df6650deff9c622ba7b4f7f8b5 /scripts/start_sandbox.sh | |
| parent | a94a9ce3bf7bc015ebbd679d0d95be1c5d9762c2 (diff) | |
shell bones (#160)
* shell bones
* Merge remote-tracking branch 'origin/main' into shell_bones
* add line break
* another line break
* drop the log to avoid breaking terminals
* rename tool to be consistent with terminal
* fix build
Diffstat (limited to 'scripts/start_sandbox.sh')
| -rwxr-xr-x | scripts/start_sandbox.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/start_sandbox.sh b/scripts/start_sandbox.sh index 2146a0c8..b17f1a7e 100755 --- a/scripts/start_sandbox.sh +++ b/scripts/start_sandbox.sh @@ -53,10 +53,13 @@ while [ "$current_dir" != "/" ]; do current_dir=$(dirname "$current_dir") done -# if GEMINI_API_KEY is set, copy into container +# copy GEMINI_API_KEY if [ -n "${GEMINI_API_KEY:-}" ]; then run_args+=(--env GEMINI_API_KEY="$GEMINI_API_KEY"); fi -# pass TERM and COLORTERM to container to maintain terminal colors +# copy SHELL_TOOL to optionally enable shell tool +if [ -n "${SHELL_TOOL:-}" ]; then run_args+=(--env SHELL_TOOL="$SHELL_TOOL"); fi + +# copy TERM and COLORTERM to try to maintain terminal setup if [ -n "${TERM:-}" ]; then run_args+=(--env TERM="$TERM"); fi if [ -n "${COLORTERM:-}" ]; then run_args+=(--env COLORTERM="$COLORTERM"); fi |