From: Antonio Ospite <ao2@ao2.it>
Date: Thu, 24 Jan 2019 15:45:57 +0000 (+0100)
Subject: .profile: load .bashrc when bash is called as a login shell
X-Git-Url: https://git.ao2.it/config/sh.git/commitdiff_plain/refs/heads/master?hp=ddd368d898a93a663e5db0761d1fbf3d40cd3be4

.profile: load .bashrc when bash is called as a login shell
---

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