shell/env: add Go settings

diff --git a/shell/shell/env b/shell/shell/env
index b3ff0c38079eed28e44ac7c0bb964fd85323a1a6..973e54fda6e0f6fbe9b7b681e8c802bca3dde754 100644 (file)
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -153,4 +153,15 @@ export VALGRIND_OPTS
 GIT_SSH_COMMAND='ssh -o ConnectTimeout=3'
 export GIT_SSH_COMMAND
 
 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
 # vim: ft=sh