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