X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=shell%2Fshell%2Fenv;h=b3ff0c38079eed28e44ac7c0bb964fd85323a1a6;hb=3e7a01c3a9d7c71a9e4a1981815efe54f7ed282e;hp=f3e42937f3adf700f08fdf82f206652e8b65cc42;hpb=0b96090f82bd835ed3707be7f7a32cc497272458;p=config%2Fdotfiles.git

diff --git a/shell/shell/env b/shell/shell/env
index f3e4293..b3ff0c3 100644
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -139,4 +139,18 @@ fi
 MTR_OPTIONS='--show-ips'
 export MTR_OPTIONS
 
+# Additional command line options for `valgrind`.
+VALGRIND_OPTS=
+VALGRIND_OPTS="$VALGRIND_OPTS --quiet"
+VALGRIND_OPTS="$VALGRIND_OPTS --error-exitcode=1"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:leak-check=full"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:show-reachable=yes"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:track-fds=yes"
+export VALGRIND_OPTS
+
+# 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