bash option errexit