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

diff --git a/shell/shell/env b/shell/shell/env
index f3e42937f3adf700f08fdf82f206652e8b65cc42..1d36c1b2480b0d6d4ee825210773b859c140e4de 100644 (file)
--- 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