Tweak setting bash options