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 /doc | |
| 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 'doc')
| -rw-r--r-- | doc/guix.texi | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c1ce5bc896..7d50f31d20 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -26447,6 +26447,18 @@ keyring. @item @code{identity} (default: @code{#f}) If specified, the path to the SSH private key to use to authenticate with the remote host. + +@item @code{host-key} (default: @code{#f}) +This should be the SSH host key of the machine, which looks like this: + +@example +ssh-ed25519 AAAAC3Nz@dots{} root@@example.org +@end example + +When @code{host-key} is @code{#f}, the server is authenticated against +the @file{~/.ssh/known_hosts} file, just like the OpenSSH @command{ssh} +client does. + @end table @end deftp |