X-Git-Url: https://ruderich.org/simon/gitweb/?p=config%2Fdotfiles.git;a=blobdiff_plain;f=shell%2Fshell%2Fenv;fp=shell%2Fshell%2Fenv;h=1d36c1b2480b0d6d4ee825210773b859c140e4de;hp=f3e42937f3adf700f08fdf82f206652e8b65cc42;hb=3836e3323c3b962087a2790b7ad4d026dd546a76;hpb=eb0f12e3a2ad50e149080901bc199190d0b96575

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