diff options
Diffstat (limited to 'packages/server/src/tools/shell.md')
| -rw-r--r-- | packages/server/src/tools/shell.md | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/packages/server/src/tools/shell.md b/packages/server/src/tools/shell.md deleted file mode 100644 index 069a76db..00000000 --- a/packages/server/src/tools/shell.md +++ /dev/null @@ -1,14 +0,0 @@ -This tool executes a given shell command as `bash -c <command>`. -Command can start background processes using `&`. -Command itself is executed as a subprocess. - -The following information is returned: - -Command: Executed command. -Directory: Directory (relative to project root) where command was executed, or `(root)`. -Stdout: Output on stdout stream. Can be `(empty)` or partial on error and for any unwaited background processes. -Stderr: Output on stderr stream. Can be `(empty)` or partial on error and for any unwaited background processes. -Error: Error or `(none)` if no error was reported for the subprocess. -Exit Code: Exit code or `(none)` if terminated by signal. -Signal: Signal number or `(none)` if no signal was received. -Background PIDs: List of background processes started or `(none)`. |