ssh_remove_server
Remove a saved server from servers.json and disconnect it if currently active.
Instructions
Remove a saved server from servers.json and disconnect if currently active.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionName | Yes | Name of the server to remove |