ssh: 'open-ssh-session' can be passed the expected host key.
authorLudovic Courtès <ludo@gnu.org>
Tue, 3 Dec 2019 20:48:02 +0000 (21:48 +0100)
committerLudovic Courtès <ludo@gnu.org>
Wed, 4 Dec 2019 17:16:08 +0000 (18:16 +0100)
commit2b8682841d0f1b7a054f864fd1657c3963b64348
tree8880334273129bbd0fce75b89fa23edc16ea2498
parentf5c180180e848b83d8ccdf6015cd7f214372d599
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'.
guix/ssh.scm