From 669786da9103c554fb474187ddab7b7c88f8e89d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 7 May 2015 09:45:45 +0200
Subject: [PATCH] system: Use "." instead of "source" in /etc/profile.

* gnu/system.scm (etc-directory)[profile]: Use "." instead of "source",
  the latter being Bash-specific.
---
 gnu/system.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index 66574c10cb9..b8d0e62f608 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -479,7 +479,7 @@ (define* (etc-directory #:key
 
 # Load the system profile's settings.
 GUIX_PROFILE=/run/current-system/profile \\
-source /run/current-system/profile/etc/profile
+. /run/current-system/profile/etc/profile
 
 # Prepend setuid programs.
 export PATH=/run/setuid-programs:$PATH
@@ -488,7 +488,7 @@ (define* (etc-directory #:key
 then
   # Load the user profile's settings.
   GUIX_PROFILE=\"$HOME/.guix-profile\" \\
-  source \"$HOME/.guix-profile/etc/profile\"
+  . \"$HOME/.guix-profile/etc/profile\"
 else
   # At least define this one so that basic things just work
   # when the user installs their first package.
@@ -508,7 +508,7 @@ (define* (etc-directory #:key
 if [ -n \"$BASH_VERSION\" -a -f /etc/bashrc ]
 then
   # Load Bash-specific initialization code.
-  source /etc/bashrc
+  . /etc/bashrc
 fi
 "))
 
-- 
GitLab