a few more bashrc functions