diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-12-12 04:10:59 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-12-12 04:10:59 +0200 |
| commit | c9e676d0b141f510c19e26edb1e6fad079b9b502 (patch) | |
| tree | 79abb4a4b92ecf4504a46e55ffa7971a06c8a5df /gnu/machine/ssh.scm | |
| parent | d45720d8b456e82380601d77e25bd05c6e0dc36a (diff) | |
| parent | dcb7ce500bd025455982d74c3384c707f35bbb46 (diff) | |
| download | guix-c9e676d0b141f510c19e26edb1e6fad079b9b502.tar guix-c9e676d0b141f510c19e26edb1e6fad079b9b502.tar.gz | |
Merge remote-tracking branch 'origin/master' into core-updates
Diffstat (limited to 'gnu/machine/ssh.scm')
| -rw-r--r-- | gnu/machine/ssh.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/machine/ssh.scm b/gnu/machine/ssh.scm index 23ae917b79..d6ce1253a4 100644 --- a/gnu/machine/ssh.scm +++ b/gnu/machine/ssh.scm @@ -74,7 +74,6 @@ (define-record-type* <machine-ssh-configuration> machine-ssh-configuration make-machine-ssh-configuration machine-ssh-configuration? - this-machine-ssh-configuration (host-name machine-ssh-configuration-host-name) ; string (system machine-ssh-configuration-system) ; string (build-locally? machine-ssh-configuration-build-locally? ; boolean @@ -103,6 +102,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 |