From: Simon Ruderich 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/?a=commitdiff_plain;h=3836e3323c3b962087a2790b7ad4d026dd546a76;p=config%2Fdotfiles.git 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