diff options
| author | tv <tv@krebsco.de> | 2026-11-12 01:21:34 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-12 01:21:34 +0000 |
| commit | da96f47107636985a5dd4250dfb2f5358073bc56 (patch) | |
| tree | e17a49bffbfa78c34e97da5511c956ad4166d9a3 /README.md | |
| parent | 0c72a6e05f5912e70a8579ed59f089f7f43353c6 (diff) | |
README: explain that extraOptions are separate arguments
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -114,7 +114,8 @@ will be obtained by ssh from its configuration files. If the `target` attribute is an attribute set, then it can specify the attributes `extraOptions`, `host`, `path`, `port`, `sudo`, and `user`. The `extraOptions` is a list of strings that get passed to ssh as additional -arguments. The `sudo` attribute is a boolean and if set to true, then it's +arguments, one argument per string, so an option and its value are separate +strings, e.g. `[ "-i" "/path/to/key" ]`. The `sudo` attribute is a boolean and if set to true, then it's possible to to deploy to targets that disallow sshing in as root, but allow (preferably passwordless) sudo. Example: |