Modify bash prompt to have options