From 3836e3323c3b962087a2790b7ad4d026dd546a76 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 19 Jul 2018 11:03:42 +0200
Subject: [PATCH] shell/env: set GIT_SSH_COMMAND to reduce SSH timeout for
 fetch/push

---
 shell/shell/env | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/shell/shell/env b/shell/shell/env
index f3e4293..1d36c1b 100644
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -139,4 +139,9 @@ fi
 MTR_OPTIONS='--show-ips'
 export MTR_OPTIONS
 
+# Use short SSH timeout for Git commands so remote fetches/pushes fail
+# quickly. Thanks to ceddral for the idea.
+GIT_SSH_COMMAND='ssh -o ConnectTimeout=3'
+export GIT_SSH_COMMAND
+
 # vim: ft=sh
-- 
2.43.2