From be84282735ce577b629d70b80e757f2a2ad5a32e Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 20 Dec 2012 21:41:45 +0100
Subject: [PATCH] ssh_config: Document an undocumented ServerAlive* feature.

---
 ssh_config | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/ssh_config b/ssh_config
index 5f01046..62babfc 100644
--- a/ssh_config
+++ b/ssh_config
@@ -15,6 +15,13 @@
 # You should have received a copy of the GNU General Public License
 # along with this file.  If not, see <http://www.gnu.org/licenses/>.
 
+# Undocumented (and not very well tested) feature. This drops the connection
+# after 5 seconds of inactivity. Thanks to shad0VV in #openssh on Freenode
+# (2012-11-04 18:40 CET) for telling me about this undocumented feature.
+#
+#     ServerAliveCountMax 0
+#     ServerAliveInterval 5
+
 
 # Rules for all hosts.
 Host *
-- 
2.44.1