aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2020-04-19 01:30:15 +0200
committertv <tv@krebsco.de>2020-04-19 01:30:15 +0200
commit476fb97dc91032dcef7e812a7473ea7df90ae537 (patch)
tree824c6a6f707b8da960b8efd385c291cc5050ca74 /README.md
parent55aa2c77ce8183f3d2b24f54efa33ab6a42e1e02 (diff)
README: talk about target.extraOptions
Diffstat (limited to 'README.md')
-rw-r--r--README.md15
1 files changed, 11 insertions, 4 deletions
diff --git a/README.md b/README.md
index dcc92d4..1ac0b54 100644
--- a/README.md
+++ b/README.md
@@ -72,16 +72,23 @@ If specified as string, the format could be described as:
Portions in square brakets are optional.
If the `USER` is the empty string, as in e.g. `@somehost`, then the username
-will be obtained by SSH from its configuration files.
+will be obtained by ssh from its configuration files.
-If the `target` attribute is an attribute set, then it has to define the attributes
-`host`, `path`, `port`, `sudo`, and `user`. This allows to deploy to targets
-that don't allow sshing in as root, but allow (preferably passwordless) sudo:
+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
+possible to to deploy to targets that disallow sshing in as root, but allow
+(preferably passwordless) sudo.
+Example:
```nix
pkgs.krops.writeDeploy "deploy" {
source = /* ... */;
target = lib.mkTarget "user@host/path" // {
+ extraOptions = [
+ "-oLogLevel=DEBUG"
+ ];
sudo = true;
};
}