On Tue, Nov 22, 2022, at 2:20 AM, Ulrich Windl wrote:
> AFAIK, bold means "literal" and non-bold or specifically italics means
> "placeholder".
> From man-pages(7):
>
> "(...) boldface is used for as-is text and italics are used to indicate
> replaceable arguments. Brackets ([]) surround optional arguments,
> vertical bars (|) separate choices, and ellipses (...) can be repeated.
> (...)"
Again, you have omitted relevant context. That excerpt is from
a section of man-pages(7) that discusses synopses. We are not
talking about a man page synopsis.
The "Parameter Expansion" section of bash(1) simply does not use
boldface for "${" / "}". I don't know if that is intentional, but
I would guess that only the unique portions of each expansion form
are emphasized with boldface. Setting every "${" / "}" in boldface
too would dilute that emphasis significantly.
--
vq
