···310310311311```ShellSession
312312#!/bin/sh
313313-if [ -d $HOME/.nix-profile/etc/profile.d ]; then
314314- for i in $HOME/.nix-profile/etc/profile.d/*.sh; do
315315- if [ -r $i ]; then
316316- . $i
313313+if [ -d "${HOME}/.nix-profile/etc/profile.d" ]; then
314314+ for i in "${HOME}/.nix-profile/etc/profile.d/"*.sh; do
315315+ if [ -r "$i" ]; then
316316+ . "$i"
317317 fi
318318 done
319319fi
320320```
321321322322-Now just run `source $HOME/.profile` and you can start loading man pages from your environment.
322322+Now just run `source "${HOME}/.profile"` and you can start loading man pages from your environment.
323323324324### GNU info setup {#sec-gnu-info-setup}
325325