From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 19 Jul 2018 09:03:42 +0000 (+0200)
Subject: shell/env: set GIT_SSH_COMMAND to reduce SSH timeout for fetch/push
X-Git-Url: https://ruderich.org/simon/gitweb/?p=config%2Fdotfiles.git;a=commitdiff_plain;h=3836e3323c3b962087a2790b7ad4d026dd546a76

shell/env: set GIT_SSH_COMMAND to reduce SSH timeout for fetch/push
---

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