Increase bash history length and add git repo info to prompt

Joel Grunbaum

2023-12-26 e562996f5c7056fa773a6e78cded83db45605ac5

 bash/DICT

@@ -1,3 +1,9 @@
DEPS="all-shells"
FILES="bashrc"
LOCATIONS="${HOME}/.bashrc"
FILES="bashrc profile"
LOCATIONS="${HOME}/.bashrc ${HOME}/.bash_profile"

custom() {
cd ble.sh
make
ln -s "$(pwd)/out/ble.sh" "${HOME}/.ble.sh"
}