diff --git a/tools/terminal_tool.py b/tools/terminal_tool.py index 8fbffadc94..22c8dcbc68 100644 --- a/tools/terminal_tool.py +++ b/tools/terminal_tool.py @@ -1547,6 +1547,8 @@ def terminal_tool( "modal_mode": config.get("modal_mode", "auto"), "docker_volumes": config.get("docker_volumes", []), "docker_mount_cwd_to_workspace": config.get("docker_mount_cwd_to_workspace", False), + "docker_forward_env": config.get("docker_forward_env", []), + "docker_env": config.get("docker_env", {}), } local_config = None