diff options
| author | Erik Arvstedt <erik.arvstedt@gmail.com> | 2021-11-19 23:42:56 +0100 |
|---|---|---|
| committer | Erik Arvstedt <erik.arvstedt@gmail.com> | 2021-11-20 14:28:54 +0100 |
| commit | 9fc8cbf8e826d4c8a118f37202ab3f335341082a (patch) | |
| tree | ce553f6ded649b4b33772b4dd6c4d205a27de5ca /ci.nix | |
| parent | 05f0d3b5c1d38fbbd53142362a7821cc8bc1150a (diff) | |
target: use default port from SSH config
This is the expected behavior.
The SSH config is also implicitly used for other SSH-related settings.
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions