From 2322c91d3142361bc8ef46bef8005dc86ef05a5d Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Fri, 16 Aug 2024 08:34:13 +0200
Subject: [PATCH] shell: GOPATH: replace ~/development/ with ~/dev/

Shorter directory names are better.
---
 shell/shell/env | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell/shell/env b/shell/shell/env
index 83810b1..7912966 100644
--- 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.
-- 
2.49.1