~ruther/guix-local: system: Source scripts from the /etc/profile.d directory.

306bd8048149b67af4b359547cd8e69bd58c5d51 — Maxim Cournoyer 1 year, 6 months ago c669724

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

patch browse .tar.gz .zip

1 files changed, 11 insertions(+), 0 deletions(-)

M gnu/system.scm

M gnu/system.scm => gnu/system.scm +11 -0

@@ 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.