You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the solution you'd like
Add a new local tool - command manager
We should add following actions -
spawn a shell -> returns the shell ID
Execute any command (Shell ID, Command as input, timeout as input -> outputs are collected and sent back)
Get history so far (For last x commands)
exit the command manager.
The command manager will maintain the state for the same shell id.
The text was updated successfully, but these errors were encountered:
sohamganatra
changed the title
Feature request: Add support for new tool: Spawn a local command manager
Feature request: Add support for new tool: Local command manager
Jun 11, 2024
sohamganatra
changed the title
Feature request: Add support for new tool: Local command manager
Feature request: Add support for new tool: Local shell manager
Jun 11, 2024
Describe the solution you'd like
Add a new local tool - command manager
We should add following actions -
spawn a shell -> returns the shell ID
Execute any command (Shell ID, Command as input, timeout as input -> outputs are collected and sent back)
Get history so far (For last x commands)
exit the command manager.
The command manager will maintain the state for the same shell id.
The text was updated successfully, but these errors were encountered: