From 0a348c1f63ccf27cdc891049691d8fa22ce2931f Mon Sep 17 00:00:00 2001
From: Hyacinthe Cartiaux <Hyacinthe.Cartiaux@uni.lu>
Date: Tue, 7 Nov 2017 14:23:37 +0100
Subject: [PATCH] [install] ~/.local directory should not be stored in the home
 directory

---
 install.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/install.sh b/install.sh
index 1a4b392..5182bb0 100755
--- a/install.sh
+++ b/install.sh
@@ -127,3 +127,8 @@ ln -sf $DOTFILES/gnupg/gpg-agent.conf  ~/.gnupg/gpg-agent.conf
 
 )
 
+[[ "$WORK" != "" ]] && (
+    mkdir -p $WORK/.local
+    ln -sf $WORK/.local ~/.local
+)
+