diff options
Diffstat (limited to 'doc/using')
-rw-r--r-- | doc/using/configuration.chapter.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/using/configuration.chapter.md b/doc/using/configuration.chapter.md index e121236c49628..1bf18eab5710d 100644 --- a/doc/using/configuration.chapter.md +++ b/doc/using/configuration.chapter.md @@ -310,16 +310,16 @@ For this to work fully, you must also have this script sourced when you are logg ```ShellSession #!/bin/sh -if [ -d $HOME/.nix-profile/etc/profile.d ]; then - for i in $HOME/.nix-profile/etc/profile.d/*.sh; do - if [ -r $i ]; then - . $i +if [ -d "${HOME}/.nix-profile/etc/profile.d" ]; then + for i in "${HOME}/.nix-profile/etc/profile.d/"*.sh; do + if [ -r "$i" ]; then + . "$i" fi done fi ``` -Now just run `source $HOME/.profile` and you can start loading man pages from your environment. +Now just run `source "${HOME}/.profile"` and you can start loading man pages from your environment. ### GNU info setup {#sec-gnu-info-setup} |