At 2025-09-20T23:27:35+0200, Gioele Barabucci wrote:
> From: Matthias Klose <[email protected]>
> +.B \-v
> +Print shell input lines as they are read.
> +.TP
> +.B \-x
> +Print commands and their arguments as they are executed.
> +.TP

I believe this patch is duplicative; see the leading paragraph of the
"OPTIONS" section just above it.

---snip---
OPTIONS
     All of the single‐character shell options documented in the
     description of the set builtin command, including -o, can be used
     as options when the shell is invoked.  In addition, bash interprets
     the following options when it is invoked:
---end snip---

Regards,
Branden

Attachment: signature.asc
Description: PGP signature

Reply via email to