machine: ssh: Deprecate missing 'host-key' field.

* gnu/machine/ssh.scm (machine-ssh-session): Warn about missing host key.
2019-12-06 13:21:11 +01:00 · 2019-12-06 13:21:11 +01:00 · 2617d956d8
parent 1b3fa123ea
commit 2617d956d8
1 changed files with 3 additions and 0 deletions
--- 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