# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1574158850 -7200
# Node ID e867bffa536e1de9f9f00f98891526718a82e892
# Parent  615c58735e09e195599728fc7b6cfce9ad357d04
Ping SSH server every 2 min.

diff -r 615c58735e09 -r e867bffa536e .ssh/config
--- a/.ssh/config	Mon Oct 21 21:04:31 2019 +0300
+++ b/.ssh/config	Tue Nov 19 12:20:50 2019 +0200
@@ -8,6 +8,8 @@
 # ControlPath ~/.ssh/sock_%r@%h_%p
 # ControlMaster auto
 
+ServerAliveInterval 120
+
 # This by default.
 # UserKnownHostsFile ~/.ssh/known_hosts