path: root/.bash_profile
diff options
authorPatrick Spek <p.spek@tyil.nl>2020-02-17 13:21:02 +0100
committerPatrick Spek <p.spek@tyil.nl>2020-02-17 13:21:02 +0100
commit8979b768965109f39730ed2a431fbf2e4d369502 (patch)
tree593abd9df9b6e169c5bcc2964ec9c81c87d48a0e /.bash_profile
parent7d3e27b4ffa9973bed54fde7a46880231713e190 (diff)
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.
Diffstat (limited to '.bash_profile')
1 files changed, 9 insertions, 0 deletions
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