Bash Themes

In early 2025 I started fiddling around with minor bash prompt tweaks, then slowly developed themes, until it got out of hand….