.my_bashrc

# This file is executed immediately after the .bashrc file
# TODO read <https://github.com/mathiasbynens/dotfiles/blob/main/.bash_profile>

# TODO do some more research on the web wrt. what could be added here
# TODO add setopts

# Preserve bash history since OS install
HISTSIZE=-1
HISTFILESIZE=-1


# TODO a more useful bash prompt i.e. with git branch - set PS1 ... PS4