summaryrefslogtreecommitdiff
path: root/gnu/machine
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-12-06 13:21:11 +0100
committerLudovic Courtès <ludo@gnu.org>2019-12-07 00:29:10 +0100
commit2617d956d8ae122128a1ba2cc74983cbd683b042 (patch)
tree7888c19d2e7ec748c2b7ba538679baebe6a77543 /gnu/machine
parent1b3fa123ea50f1dae3a9c8e986c3f6b3bb477314 (diff)
machine: ssh: Deprecate missing 'host-key' field.
* gnu/machine/ssh.scm (machine-ssh-session): Warn about missing host key.
Diffstat (limited to 'gnu/machine')
-rw-r--r--gnu/machine/ssh.scm3
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