bashrc: prompt: fix broken ofb theme
bash: consistent syntax
bashrc: move some stuff to bashrc-theme