bash: shopt options