diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 12:33:46 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 13:56:41 +0200 |
commit | 81c5873ab7405de8d6c2f6024f05a5afe43fe005 (patch) | |
tree | 434b1c80f747fc27ed8f29c662f45f35ad8db84c /gnu | |
parent | 00d732195812234f578a9513b32010fbe6469cd1 (diff) | |
download | guix-patches-81c5873ab7405de8d6c2f6024f05a5afe43fe005.tar guix-patches-81c5873ab7405de8d6c2f6024f05a5afe43fe005.tar.gz |
ssh: Add a longer SSH timeout by default.
* guix/ssh.scm (open-ssh-session): Add #:timeout parameter, and add call
to 'session-set!' to honor it.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions