diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:45:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-07 09:49:08 +0200 |
| commit | 669786da9103c554fb474187ddab7b7c88f8e89d (patch) | |
| tree | 6e0319bba152cef05fcb2f47b56d4080fd7347c3 | |
| parent | 507c71d629d6aacf47e03a94eaf0c6b9ef45c367 (diff) | |
| download | patches-669786da9103c554fb474187ddab7b7c88f8e89d.tar patches-669786da9103c554fb474187ddab7b7c88f8e89d.tar.gz | |
system: Use "." instead of "source" in /etc/profile.
* gnu/system.scm (etc-directory)[profile]: Use "." instead of "source",
the latter being Bash-specific.
| -rw-r--r-- | gnu/system.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 66574c10cb..b8d0e62f60 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -479,7 +479,7 @@ unset PATH # 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 @@ if [ -f \"$HOME/.guix-profile/etc/profile\" ] 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 @@ export ASPELL_CONF=\"dict-dir $HOME/.guix-profile/lib/aspell\" if [ -n \"$BASH_VERSION\" -a -f /etc/bashrc ] then # Load Bash-specific initialization code. - source /etc/bashrc + . /etc/bashrc fi ")) |