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