bash-set-x