From 4c5f6de9e852d5c4e7ce87f1738f3ef883338f15 Mon Sep 17 00:00:00 2001
From: Jordan Atwood <nightfirecat@nightfirec.at>
Date: Sat, 7 May 2022 00:02:53 -0700
Subject: [PATCH] Explicitly source .bashrc in interactive shells

Because the file was never explicitly sourced, opening a new shell say,
via SSH, would not invoke .bashrc at all.
---
 src/.bash_profile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/.bash_profile b/src/.bash_profile
index 9f8334a..12e17bf 100755
--- a/src/.bash_profile
+++ b/src/.bash_profile
@@ -62,3 +62,6 @@ export SHELLCHECK_OPTS='--color'
 if [ -z "$SSH_AUTH_SOCK" ]; then
 	eval "$(ssh-agent -s)"
 fi
+
+# if running interactively, source .bashrc
+[ -n "$PS1" ] && source "$HOME/.bashrc"