bash options set