a few handy bash options