| Age | Commit message (Collapse) | Author |
|
|
|
* 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
|