diff options
| -rw-r--r-- | bash/bashrc | 4 | ||||
| -rw-r--r-- | sh/profile | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/bash/bashrc b/bash/bashrc index a56632e7..2ee5f82d 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -72,9 +72,7 @@ fi # Load any supplementary scripts if [[ -d $HOME/.bashrc.d ]] ; then for config in "$HOME"/.bashrc.d/*.bash ; do - if [[ -r $config ]] ; then - source "$config" - fi + source "$config" done fi unset -v config @@ -6,9 +6,7 @@ fi # Load all supplementary scripts in ~/.profile.d if [ -d "$HOME"/.profile.d ] ; then for config in "$HOME"/.profile.d/*.sh ; do - if [ -r "$config" ] ; then - . "$config" - fi + . "$config" done fi unset -v config |