From 208c8fafbca0419d031cae4abe1c3fc457062359 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Sat, 12 Dec 2015 11:44:55 +0100
Subject: [PATCH] Use ~/.bashrc to make non-login bashes read in ~/.shinit.

---
 dotfiles_minimal/bashrc | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 dotfiles_minimal/bashrc

diff --git a/dotfiles_minimal/bashrc b/dotfiles_minimal/bashrc
new file mode 100644
index 0000000..4dc08f7
--- /dev/null
+++ b/dotfiles_minimal/bashrc
@@ -0,0 +1,5 @@
+# Bash as a non-login shell in non-POSIX-mode does not read in the startup
+# script at the path in $ENV. This forces it to still read in the ~/.shinit
+# startup script for non-login shells.
+
+. ~/.shinit
-- 
2.30.2