Managing servers

Managing servers

When the JSON source is active, Settings → "Add / edit servers…" opens an editor to manage your connection list from a GUI — no hand-editing of JSON required.

What you can do

• Add a server with a form: Name, Group, User, Host or IP, Port, and an optional custom command.
• Edit any entry — including renaming it or moving it to another group.
• Delete entries; a group with no entries left is removed automatically.

Fields

Field	Notes
Name	Display name in the menu (required).
Group	Type a new group or pick an existing one. Empty → "Servers".
User	Optional; becomes user@host.
Host or IP	Required unless you use a custom command.
Port	Optional; omitted when 22.
Custom command	Advanced. Runs verbatim and overrides user/host/port — e.g. ssh -J jump root@10.0.0.5.

Safety

Host, IP and user are validated: values containing whitespace or shell metacharacters are rejected with an inline message. On top of that, every connection target is shell-quoted when the ssh command is built, so server data can't inject shell commands. See also Table import → Safety.

Every change writes the JSON file and snapshots the previous version — see Backups.