diff options
Diffstat (limited to 'gnu/home')
| -rw-r--r-- | gnu/home/services/shells.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/home/services/shells.scm b/gnu/home/services/shells.scm index dda80736b1..27190934f0 100644 --- a/gnu/home/services/shells.scm +++ b/gnu/home/services/shells.scm @@ -192,9 +192,9 @@ another process for example).")) (mixed-text-file "zprofile" "\ -# Setups system and user profiles and related variables +# Set up the system, user profile, and related variables. source /etc/profile -# Setups home environment profile +# Set up the home environment profile. source ~/.profile # It's only necessary if zsh is a login shell, otherwise profiles will @@ -443,9 +443,9 @@ alias grep='grep --color=auto'\n") ,(mixed-text-file "bash_profile" "\ -# Setups system and user profiles and related variables +# Set up the system, user profile, and related variables. # /etc/profile will be sourced by bash automatically -# Setups home environment profile +# Set up the home environment profile. if [ -f ~/.profile ]; then source ~/.profile; fi # Honor per-interactive-shell startup file |