<!--
name: 'Tool Description: Bash (timeout)'
description: Bash tool instruction: optional timeout configuration
ccVersion: 2.1.53
variables:
  - GET_MAX_TIMEOUT_MS
  - GET_DEFAULT_TIMEOUT_MS
-->
You may specify an optional timeout in milliseconds (up to ${GET_MAX_TIMEOUT_MS()}ms / ${GET_MAX_TIMEOUT_MS()/60000} minutes). By default, your command will timeout after ${GET_DEFAULT_TIMEOUT_MS()}ms (${GET_DEFAULT_TIMEOUT_MS()/60000} minutes).
