From 21fba832d1b4ea7af43fb887d9b2b38fcf8210d0 Mon Sep 17 00:00:00 2001 From: Tommaso Sciortino Date: Fri, 30 May 2025 18:25:47 -0700 Subject: Rename server->core (#638) --- packages/server/src/tools/shell.md | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 packages/server/src/tools/shell.md (limited to 'packages/server/src/tools/shell.md') 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 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)`. -- cgit v1.2.3