From 57ceadb7d87b77fda543ee35097e7b68c10f1e5b Mon Sep 17 00:00:00 2001 From: Olcan Date: Mon, 28 Apr 2025 15:05:36 -0700 Subject: switch to shell tool, deprecating terminal (#203) * switch to shell tool, deprecating terminal * Merge remote-tracking branch 'origin/main' into deprecate_terminal --- scripts/start_sandbox.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts/start_sandbox.sh') 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 -- cgit v1.2.3