diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-12-03 21:48:02 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-04 18:16:08 +0100 |
commit | 2b8682841d0f1b7a054f864fd1657c3963b64348 (patch) | |
tree | 8880334273129bbd0fce75b89fa23edc16ea2498 /gnu/machine | |
parent | f5c180180e848b83d8ccdf6015cd7f214372d599 (diff) |
ssh: 'open-ssh-session' can be passed the expected host key.
* guix/ssh.scm (open-ssh-session): Add #:host-key parameter.
Pass #:knownhosts to 'make-session'. When HOST-KEY is true, call
'authenticate-server*' instead of 'authenticate-server'.
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions