From b08273b399ed39e5917bf8b081a99de5566e0511 Mon Sep 17 00:00:00 2001
From: David Kerkeslager <kerkeslager@gmail.com>
Date: Tue, 4 Jun 2019 13:16:34 -0400
Subject: [PATCH] Add support for machine-specific bashrcs

---
 .bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.bashrc b/.bashrc
index 778a65d..578ecf2 100644
--- a/.bashrc
+++ b/.bashrc
@@ -78,6 +78,11 @@ fi
 PATH="/usr/local/bin:$PATH"
 export PATH
 
+# Run a machine-specific bashrc (if it exists).
+if [ -f $HOME/.bashrc_local ]; then
+	source $HOME/.bashrc_local
+fi
+
 # Automatically open screen.
 # The if statement prevents it from recursing (since screen opens bash).
 if [ $TERM != screen ]; then
-- 
2.20.1