From 7b90d7ce548495ae78ce0681ee332fab52b6f87d Mon Sep 17 00:00:00 2001 From: Andrejus Date: Sun, 12 Jul 2020 16:45:33 +0100 Subject: [PATCH] Update .bash_profile --- files/.bash_profile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/files/.bash_profile b/files/.bash_profile index a90bac4..0a45628 100644 --- a/files/.bash_profile +++ b/files/.bash_profile @@ -1,8 +1,8 @@ # Load .profile, containing login, non-bash related initializations. -[-f "$HOME/.profile"] && source "$HOME/.profile" +[ -f "$HOME/.profile" ] && source "$HOME/.profile" # Load .bashrc, containing non-login related bash initializations. -[-f "$HOME/.bashrc"] && source "$HOME/.bashrc" +[ -f "$HOME/.bashrc" ] && source "$HOME/.bashrc" # References: