diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2019-03-29 17:17:40 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2019-03-29 17:17:40 +1300 |
commit | 607527f2d20e40dea83a1fc6ead4ad37467c0f4c (patch) | |
tree | 443542331aa694ebd4bdbdfb80c96d3b8260a2da /zsh/zprofile | |
parent | Remove unneeded leading pipe from b:undo_ftplugin (diff) | |
download | dotfiles-607527f2d20e40dea83a1fc6ead4ad37467c0f4c.tar.gz dotfiles-607527f2d20e40dea83a1fc6ead4ad37467c0f4c.zip |
Fix up a few cosmetic shell anti-patterns
Diffstat (limited to 'zsh/zprofile')
-rw-r--r-- | zsh/zprofile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/zsh/zprofile b/zsh/zprofile index 65586fe2..614672ba 100644 --- a/zsh/zprofile +++ b/zsh/zprofile @@ -1,2 +1,4 @@ # Source ~/.profile, since Zsh doesn't do this by default -[[ -e $HOME/.profile ]] && source "$HOME"/.profile +if [[ -e $HOME/.profile ]] ; then + source "$HOME"/.profile +fi |