| Age | Commit message (Collapse) | Author |
|
- Plumbed abort signals through to tools
- Updated the shell tool to properly cancel active requests by killing the entire child process tree of the underlying shell process and then report that the shell itself was canceled.
Fixes https://b.corp.google.com/issues/416829935
|
|
|
|
|
|
arbitrary interleaving with output from background processes (#267)
|
|
|
|
|
|
|
|
* switch to shell tool, deprecating terminal
* Merge remote-tracking branch 'origin/main' into deprecate_terminal
|
|
* do not prepend ./ unless missing
* Merge remote-tracking branch 'origin/main' into dir_prefix_fix
|
|
|
|
|
|
|
|
"description" from execution confirmation, add confirmation to new (still dummy) shell tool (#176)
|
|
* enable json imports
* Merge remote-tracking branch 'origin/main' into enable_json_imports
|
|
* shell bones
* Merge remote-tracking branch 'origin/main' into shell_bones
* add line break
* another line break
* drop the log to avoid breaking terminals
* rename tool to be consistent with terminal
* fix build
|