diff options
| author | Olcan <[email protected]> | 2025-04-28 15:05:36 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-28 15:05:36 -0700 |
| commit | 57ceadb7d87b77fda543ee35097e7b68c10f1e5b (patch) | |
| tree | cc8558326ef49fca482537d733cc34968cd40738 /scripts/start_sandbox.sh | |
| parent | 30b04295d2c5b57b55fd4092917978c8ba5ac3ba (diff) | |
switch to shell tool, deprecating terminal (#203)
* switch to shell tool, deprecating terminal
* Merge remote-tracking branch 'origin/main' into deprecate_terminal
Diffstat (limited to 'scripts/start_sandbox.sh')
| -rwxr-xr-x | scripts/start_sandbox.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/start_sandbox.sh b/scripts/start_sandbox.sh index 5db6203e..199c1519 100755 --- a/scripts/start_sandbox.sh +++ b/scripts/start_sandbox.sh @@ -98,8 +98,8 @@ if [ -n "${GEMINI_API_KEY:-}" ]; then run_args+=(--env GEMINI_API_KEY="$GEMINI_A # copy GEMINI_CODE_MODEL if [ -n "${GEMINI_CODE_MODEL:-}" ]; then run_args+=(--env GEMINI_CODE_MODEL="$GEMINI_CODE_MODEL"); fi -# copy SHELL_TOOL to optionally enable shell tool -if [ -n "${SHELL_TOOL:-}" ]; then run_args+=(--env SHELL_TOOL="$SHELL_TOOL"); fi +# copy TERMINAL_TOOL to optionally revert to old terminal tool +if [ -n "${TERMINAL_TOOL:-}" ]; then run_args+=(--env TERMINAL_TOOL="$TERMINAL_TOOL"); fi # copy TERM and COLORTERM to try to maintain terminal setup if [ -n "${TERM:-}" ]; then run_args+=(--env TERM="$TERM"); fi |