Increase bash history length and add git repo info to prompt

Joel Grunbaum

2023-12-26 e562996f5c7056fa773a6e78cded83db45605ac5

1
2
3
4
5
6
7
8
9
DEPS="all-shells"
FILES="bashrc profile"
LOCATIONS="${HOME}/.bashrc ${HOME}/.bash_profile"
 
custom() {
cd ble.sh
make
ln -s "$(pwd)/out/ble.sh" "${HOME}/.ble.sh"
}