summaryrefslogtreecommitdiff
path: root/gnu/home
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2022-07-13 17:13:12 +0200
committerLudovic Courtès <ludo@gnu.org>2022-07-14 01:05:34 +0200
commit9e4cbb307665f061d6e8bc75660ae9421886f6b2 (patch)
tree6f7acf35bcd7318cd767eb5dac44679242670adb /gnu/home
parent7a6302acb015c5df3aa5007792887149978355db (diff)
home: services: shell: Do not use "setup" as a verb.
* gnu/home/services/shells.scm (zsh-file-zprofile) (add-bash-configuration): Do not use "setup" as a word in generated files. End sentences with a period.
Diffstat (limited to 'gnu/home')
-rw-r--r--gnu/home/services/shells.scm8
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