From c4bda82ef3fe75fc210be71087699367f7a8f4f4 Mon Sep 17 00:00:00 2001
From: Antonio Ospite <ao2@ao2.it>
Date: Thu, 24 Jan 2019 16:45:57 +0100
Subject: [PATCH] .profile: load .bashrc when bash is called as a login shell

---
 .profile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.profile b/.profile
index 5be6a74..1ff0e16 100644
--- a/.profile
+++ b/.profile
@@ -3,3 +3,11 @@
 # Initialization file for every interactive posix shell,
 # especially useful for dash.
 ENV="${HOME}/.shinit"; export ENV
+
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+	. "$HOME/.bashrc"
+    fi
+fi
-- 
2.1.4