On Mon, Sep 22, 2025, at 6:55 PM, Gioele Barabucci wrote: > ## [PATCH 7/7] doc/bash.1: Document -v/-x options > > On 22/09/25 17:15, Chet Ramey wrote: >> I think the existing documentation covers this. > It does by referring to `set`, but `-v` and `-x` are common options that > IMO should be highlighted in the man page.
I don't see why these should be privileged over any of the other "set" options. And doing so would make readers wonder if there's something special about them. (There isn't.) -- vq
