Remove host
remove_hostDelete a host added to the managed SSH config and clean up its traces, including known_hosts entries by default; optionally delete the stored sudo secret.
Instructions
Remove a host from the managed file and clean up its trace.
Touches only entries added by the server: a host from the manual config is an error. By default also cleans known_hosts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| alias | Yes | Alias previously added by add_host. | |
| drop_secret | No | Also remove the ~/.ssh/<alias>.secret file with the sudo password. | |
| forget_known | No | Also remove this host's entries from known_hosts. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| alias | Yes | ||
| secret_removed | Yes | whether the ~/.ssh/<alias>.secret file was removed | |
| known_hosts_removed | Yes | known_hosts entries removed |