write_ssh_config
Writes or updates an SSH host entry in the local config file. Replaces an existing entry with the same alias to prepare for deployment commands.
Instructions
Write (or update) a Host entry in the local ~/.ssh/config file. If an entry with the same alias already exists it is replaced. Useful for setting up SSH config before running deployment commands.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| port | No | SSH port (default 22) | |
| user | Yes | SSH username | |
| alias | Yes | SSH host alias (used as the Host value in ~/.ssh/config) | |
| hostname | Yes | Actual hostname or IP address | |
| extraOptions | No | Additional SSH config options as key-value pairs | |
| identityFile | No | Path to the private key file (e.g. ~/.ssh/id_rsa) |