diff options
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 |