From 8979b768965109f39730ed2a431fbf2e4d369502 Mon Sep 17 00:00:00 2001
From: Patrick Spek <p.spek@tyil.nl>
Date: Mon, 17 Feb 2020 13:21:02 +0100
Subject: Update bash PS1

This should bring the prompt for interactive Bash usage in line with the
prompt for zsh. The colors are slightly different, but the information
is the same.
---
 .bash_profile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .bash_profile

(limited to '.bash_profile')

diff --git a/.bash_profile b/.bash_profile
new file mode 100644
index 0000000..577f0c6
--- /dev/null
+++ b/.bash_profile
@@ -0,0 +1,9 @@
+#! /usr/bin/env bash
+
+#
+# It looks like logging in through a TTY doesn't load ~/.bashrc, but it does
+# load this particular file. So, to work around it, this file will load
+# ~/.bashrc anyway!
+#
+
+. $HOME/.bashrc
-- 
cgit v1.1