diff options
| author | tv <tv@krebsco.de> | 2019-11-29 00:01:37 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-11-29 13:21:04 +0100 |
| commit | 70fa39607fa9f0d7df424588ae109968f0f876d1 (patch) | |
| tree | c8e912bca0edb372d2669e7ad1e65ab08fd5d76a /ci.nix | |
| parent | 8de797dae0fcd1821d79c486abeffc536c2de643 (diff) | |
ssh: support using ssh-configured user
Let ssh use the user configured in its configuration files when the
target user is set to the empty string.
Closes https://github.com/krebs/krops/issues/2
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions