“shell” would have been the right word to use instead of “bash”, but it’s immaterial to the point.