Increase bash history length and add git repo info to prompt

Joel Grunbaum

2023-12-26 e562996f5c7056fa773a6e78cded83db45605ac5

1
2
3
4
extra-keys = [ \
 ['ESC','|','/','HOME','UP','END','-','DEL'], \
 ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','_','BKSP'] \
]