docs/Shell-Completion: read both types of bash completions.
And guard against either of them being missing. Fixes #5610
M
Mike McQuaid committed
f8c574bbc08d4361bbb85a66194941f7f96a17cc
Parent: 5866c2b
And guard against either of them being missing. Fixes #5610