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

diff --git a/shell/shell/env b/shell/shell/env
index 1d36c1b..973e54f 100644
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -139,9 +139,29 @@ 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
+
 # vim: ft=sh