2b1e39db6a
Enable tools to cancel active execution.
...
- 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
2025-05-10 00:21:09 -07:00
596f0d1c8f
fix json import warning ( #291 )
2025-05-08 14:14:09 -07:00
e634c8a384
drop restriction on whitespace in bash commands ( #272 )
2025-05-06 23:38:36 -07:00
f0ccf9bbfd
use temp file instead of footer to allow arbitrary chunking of streams and arbitrary interleaving with output from background processes ( #267 )
2025-05-06 10:44:40 -07:00
99f047b349
Use parameter properties where possible. ( #242 )
2025-05-02 09:31:18 -07:00
4a1104725c
simplify directory display in shell tool description ( #230 )
2025-04-30 12:27:56 -07:00
39f7e34929
do not prepend ./ to absolute paths or . ( #220 )
2025-04-29 22:31:46 +00:00
03a40f9904
switch to shell tool, deprecating terminal ( #203 )
...
* switch to shell tool, deprecating terminal
* Merge remote-tracking branch 'origin/main' into deprecate_terminal
2025-04-28 15:05:36 -07:00
9e75137b54
do not prepend ./ unless missing ( #200 )
...
* do not prepend ./ unless missing
* Merge remote-tracking branch 'origin/main' into dir_prefix_fix
2025-04-28 11:07:11 -07:00
48c78a5645
rename dev image with -dev suffix ( #195 )
2025-04-28 08:52:18 -07:00
be01b95af7
shell tool tweaks ( #194 )
2025-04-28 08:17:52 -07:00
81c3717613
minimal shell tool ( #191 )
2025-04-27 18:57:10 -07:00
4931f14ef9
more consistent confirmations, TODO to improve write confirmations, drop "description" from execution confirmation, add confirmation to new (still dummy) shell tool ( #176 )
2025-04-25 14:05:58 -07:00
b8a24d5327
enable json imports ( #165 )
...
* enable json imports
* Merge remote-tracking branch 'origin/main' into enable_json_imports
2025-04-24 18:30:19 -07:00
fd546cd158
shell bones ( #160 )
...
* 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
2025-04-24 18:03:33 -07:00
Taylor Mullen