Adding bash options used by .bashrc