mirror of
https://cgit.krebsco.de/krops
synced 2024-11-23 03:29:48 +01:00
README: talk about target.extraOptions
This commit is contained in:
parent
55aa2c77ce
commit
476fb97dc9
1 changed files with 11 additions and 4 deletions
15
README.md
15
README.md
|
@ -72,16 +72,23 @@ If specified as string, the format could be described as:
|
||||||
Portions in square brakets are optional.
|
Portions in square brakets are optional.
|
||||||
|
|
||||||
If the `USER` is the empty string, as in e.g. `@somehost`, then the username
|
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
|
If the `target` attribute is an attribute set, then it can specify the
|
||||||
`host`, `path`, `port`, `sudo`, and `user`. This allows to deploy to targets
|
attributes `extraOptions`, `host`, `path`, `port`, `sudo`, and `user`.
|
||||||
that don't allow sshing in as root, but allow (preferably passwordless) sudo:
|
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
|
```nix
|
||||||
pkgs.krops.writeDeploy "deploy" {
|
pkgs.krops.writeDeploy "deploy" {
|
||||||
source = /* ... */;
|
source = /* ... */;
|
||||||
target = lib.mkTarget "user@host/path" // {
|
target = lib.mkTarget "user@host/path" // {
|
||||||
|
extraOptions = [
|
||||||
|
"-oLogLevel=DEBUG"
|
||||||
|
];
|
||||||
sudo = true;
|
sudo = true;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue