Fix outdated bash tab completion (#14392)
This commit is contained in:

committed by
Todd Gamblin

parent
5397d500c8
commit
69e5683ba4