diff options
Diffstat (limited to 'scripts/sandbox_command.sh')
| -rwxr-xr-x | scripts/sandbox_command.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/sandbox_command.sh b/scripts/sandbox_command.sh index f22d1295..81775db6 100755 --- a/scripts/sandbox_command.sh +++ b/scripts/sandbox_command.sh @@ -40,6 +40,10 @@ if [ -z "${GEMINI_CODE_SANDBOX:-}" ]; then exit 1; fi # lowercase GEMINI_CODE_SANDBOX GEMINI_CODE_SANDBOX=$(echo "${GEMINI_CODE_SANDBOX:-}" | tr '[:upper:]' '[:lower:]') +if [[ "${GEMINI_CODE_SANDBOX:-}" =~ ^(0|false)$ ]]; then + exit 1 +fi + # if GEMINI_CODE_SANDBOX is set to 1 or true, then try to use docker or podman if [[ "${GEMINI_CODE_SANDBOX:-}" =~ ^(1|true)$ ]]; then if command -v docker &> /dev/null; then |