.profile: load .bashrc when bash is called as a login shell master
authorAntonio Ospite <ao2@ao2.it>
Thu, 24 Jan 2019 15:45:57 +0000 (16:45 +0100)
committerAntonio Ospite <ao2@ao2.it>
Thu, 24 Jan 2019 15:45:57 +0000 (16:45 +0100)
.profile

index 5be6a74..1ff0e16 100644 (file)
--- a/.profile
+++ b/.profile
@@ -3,3 +3,11 @@
 # Initialization file for every interactive posix shell,
 # especially useful for dash.
 ENV="${HOME}/.shinit"; export ENV
 # 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