X-Git-Url: https://ruderich.org/simon/gitweb/?p=config%2Fdotfiles.git;a=blobdiff_plain;f=shell%2Fshell%2Fenv;h=8313a41b0f17658d27ee5a2c22b80687bfbf8430;hp=f3e42937f3adf700f08fdf82f206652e8b65cc42;hb=HEAD;hpb=f7a8615b16edb9065f10f89560c995e05c823cc5

diff --git a/shell/shell/env b/shell/shell/env
index f3e4293..83810b1 100644
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -63,7 +63,8 @@ PAGER=less
 export PAGER
 
 escape=`printf '\033'`
-# Color man pages viewed with less, thanks to [1].
+# Color man pages viewed with less, thanks to [1]. Groff versions >= 1.23 also
+# need GROFF_NO_SGR=1 for this to work.
 #
 # [1]: http://nion.modprobe.de/blog/archives/572-less-colors-for-man-pages.html
 #
@@ -139,4 +140,37 @@ 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
+
+# Go settings
+GOPATH="$HOME/development/go:/usr/share/gocode"
+export GOPATH
+# Prevent privacy issues by disabling the use of https://proxy.golang.org
+# which is the default since Go 1.13.
+GOPROXY=direct
+export GOPROXY
+# Same for https://sum.golang.org/
+GOSUMDB=off
+export GOSUMDB
+# Don't automatically download and execute other version of the Go toolchain
+GOTOOLCHAIN=local
+export GOTOOLCHAIN
+
+# Tell `ip -color` to use colors suitable for a dark terminal. Not sure if
+# this variable is also used by other programs.
+COLORFGBG=';0'
+export COLORFGBG
+
 # vim: ft=sh