shell: GOPATH: replace ~/development/ with ~/dev/

Shorter directory names are better.

diff --git a/shell/shell/env b/shell/shell/env
index 83810b12d382bf072cbae6dec4999251f827dc26..79129669c2c46591dcb37ab9ee2c9b16ce3db2b3 100644 (file)
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -155,7 +155,7 @@ GIT_SSH_COMMAND='ssh -o ConnectTimeout=3'
 export GIT_SSH_COMMAND
 
 # Go settings
-GOPATH="$HOME/development/go:/usr/share/gocode"
+GOPATH="$HOME/dev/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.