My bash startup scripts, plus some useful bash scripts