diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-12-03 21:59:09 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-04 18:16:08 +0100 |
commit | ed15dfcf31ec35c58f5a44d1d8adf5048da67ea6 (patch) | |
tree | 1d1903d786ee2186b99e8873fe7fef22d1fe1b27 /gnu/packages | |
parent | 2b8682841d0f1b7a054f864fd1657c3963b64348 (diff) | |
download | guix-patches-ed15dfcf31ec35c58f5a44d1d8adf5048da67ea6.tar guix-patches-ed15dfcf31ec35c58f5a44d1d8adf5048da67ea6.tar.gz |
machine: ssh: <machine-ssh-configuration> can include the host key.
* gnu/machine/ssh.scm (<machine-ssh-configuration>)[host-key]: New field.
(machine-ssh-session): Pass #:host-key to 'open-ssh-session'.
* doc/guix.texi (Invoking guix deploy): Document it.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions