Rename server->core (#638)

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)`.