From 46d4295d1abc71beade33be3f0355d41a6d65cdd Mon Sep 17 00:00:00 2001
From: Nicolas Duhamel <nicolas@jombi.fr>
Date: Wed, 9 May 2018 12:35:58 +0200
Subject: [PATCH] Fix shell

---
 user/environment/.local/bin/env-gen.sh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/user/environment/.local/bin/env-gen.sh b/user/environment/.local/bin/env-gen.sh
index e75448c..c0cb035 100755
--- a/user/environment/.local/bin/env-gen.sh
+++ b/user/environment/.local/bin/env-gen.sh
@@ -5,10 +5,8 @@
 # This script load them for you
 # source it from your shellrc
 
-if [ -d ~/.config/environment.d ]; then
-    set -a
-    for f in `ls -v ~/.config/environment.d`; do
-        . ~/.config/environment.d/$f
-    done
-fi
+[ -d ~/.config/environment.d ] || exit 0
 
+set -a
+for f in ~/.config/environment.d/*; do . $f; done
+set +a