diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-06 13:21:11 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 00:29:10 +0100 |
| commit | 2617d956d8ae122128a1ba2cc74983cbd683b042 (patch) | |
| tree | 7888c19d2e7ec748c2b7ba538679baebe6a77543 | |
| parent | 1b3fa123ea50f1dae3a9c8e986c3f6b3bb477314 (diff) | |
machine: ssh: Deprecate missing 'host-key' field.
* gnu/machine/ssh.scm (machine-ssh-session): Warn about missing host key.
| -rw-r--r-- | gnu/machine/ssh.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/machine/ssh.scm b/gnu/machine/ssh.scm index 23ae917b79..1b88fb44cc 100644 --- a/gnu/machine/ssh.scm +++ b/gnu/machine/ssh.scm @@ -103,6 +103,9 @@ one from the configuration's parameters if one was not provided." (port (machine-ssh-configuration-port config)) (identity (machine-ssh-configuration-identity config)) (host-key (machine-ssh-configuration-host-key config))) + (unless host-key + (warning (G_ "<machine-ssh-configuration> without a 'host-key' \ +is deprecated~%"))) (open-ssh-session host-name #:user user #:port port |