system: Source scripts from the /etc/profile.d directory.

This is useful since our /etc/profile file is otherwise not easily
extendable.

* gnu/system.scm (operating-system-etc-service): Source all '.sh' ending
files found under the /etc/profile.d directory.

Change-Id: Ia6d777195241f69219f00fbd5975e3e6b7c265fb

1 files changed, 11 insertions, 0 deletions

diff --git a/gnu/system.scm b/gnu/system.scm
index a4e70f164a4..8c76912d809 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -1131,6 +1131,17 @@ export DICPATH=\"$HOME/.guix-profile/share/hunspell:/run/current-system/profile/
 # Allow GStreamer-based applications to find plugins.
 export GST_PLUGIN_PATH=\"$HOME/.guix-profile/lib/gstreamer-1.0\"
 
+for i in /etc/profile.d/*.sh; do
+    if [ -r \"$i\" ]; then
+        if [ \"${-#*i}\" != \"$-\" ]; then
+            . \"$i\"
+        else
+            . \"$i\" >/dev/null
+        fi
+    fi
+done
+unset i
+
 if [ -n \"$BASH_VERSION\" -a -f /etc/bashrc ]
 then
   # Load Bash-specific initialization code.