On Sat, Sep 20, 2025, at 5:27 PM, Gioele Barabucci wrote:
> diff --git a/doc/bash.1 b/doc/bash.1
> index 6512ec15..5bd5c943 100644
> --- a/doc/bash.1
> +++ b/doc/bash.1
> @@ -159,6 +159,12 @@ This option allows the positional parameters to be set
> when invoking an interactive shell or when reading input
> through a pipe.
> .TP
> +.B \-v
> +Print shell input lines as they are read.
> +.TP
> +.B \-x
> +Print commands and their arguments as they are executed.
> +.TP
> .B \-D
> Print a list of all double-quoted strings preceded by \fB$\fP
> on the standard output.
> --
> 2.51.0
This is already covered by the first sentence of the OPTIONS section:
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.
--
vq
