From 836b72bf3d82667d104ae74331873f74d6180f97 Mon Sep 17 00:00:00 2001
From: Holger Just <hjust@meine-er.de>
Date: Mon, 25 Jun 2018 17:33:43 +0200
Subject: [PATCH] Include .profile when loading .bash_profile

---
 .bash_profile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.bash_profile b/.bash_profile
index 0a250fe..0a28cd8 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,4 +1,2 @@
-# include .bashrc if it exists
-if [ -f ~/.bashrc ]; then
-  . ~/.bashrc
-fi
+[ -f ~/.bashrc ] && . ~/.bashrc
+[ -f ~/.profile ] && . ~/.profile