On 23/09/25 05:12, Lawrence Velázquez wrote:
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.)
I don't have hard data, but what makes them more special than the others
is that `-v` and `-x` are very frequently used, just like `-c`:
https://codesearch.debian.net/search?q=bash+-%5B%5E+%5D*%28v%7Cx%29&literal=0&perpkg=1
(A code search in Debian for "bash -[^ ]*(v|x)" returns 132 pages of
results.)
Regards,
--
Gioele Barabucci
