diff options
| author | Marius Bakke <marius@gnu.org> | 2022-08-11 22:15:22 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-08-11 22:15:22 +0200 |
| commit | b50eaa67642ebc25e9c896f2e700c08610e0a5da (patch) | |
| tree | e3358208e17a836c2e3cdb3125f815a2ab35c2b8 /guix/ssh.scm | |
| parent | 7b69cd07408bf64fff026e4597920a90259e3205 (diff) | |
| parent | 99b73f60415b282f2be39134f385cbda4840c336 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'guix/ssh.scm')
| -rw-r--r-- | guix/ssh.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/guix/ssh.scm b/guix/ssh.scm index a6f0f2eb96..1b825a2573 100644 --- a/guix/ssh.scm +++ b/guix/ssh.scm @@ -162,6 +162,10 @@ server at '~a': ~a") ('success (session-set! session 'timeout timeout) session) + ('again + (raise (formatted-message (G_ "timeout while connecting \ +to SSH server at '~a'") + (session-get session 'host)))) (x (match (userauth-gssapi! session) ('success |