Re: [docs] [PATCH] docs: document the conventions used in the manuals

["Antonin Godard" <antonin.godard@bootlin.com>]

On Tue Sep 22, 2026 at 3:35 AM CEST, Trevor Woerner wrote:
> On Mon 2026-09-21 @ 04:34:35 PM, Antonin Godard wrote:
>> Hi,
>> 
>> On Sat Sep 19, 2026 at 8:17 AM CEST, Trevor Woerner wrote:
>> > On Mon 2026-09-14 @ 06:39:59 PM, Quentin Schulz wrote:
>> [...]
>> > having a
>> > prompt clearly shows what are commands to type and what is output. For
>> > the sake of uniformity I would rather not have code-block examples that
>> > have and others that don't have prompts.
>> 
>> I agree.
>> 
>> >
>> > As for the "what to copy" issue. Every code-block has a "copy" symbol
>> > that appears in the code-block when you hover over the code-block. If
>> > the code-block contains things to type with prompts and you click on the
>> > copy icon of a code-block, the commands are copied and the prompts are
>> > not. However, if the user highlights what to copy by clicking and
>> > dragging with the mouse, they will get both the commands as well as the
>> > prompts. However, that is configurable! It is possible to configure any
>> > code-block identified as console to not copy the prompts, even when
>> > clicked-and-dragged with the mouse.
>> 
>> Do you have a working solution for this?
>
> Yes (to follow).

Actually it seems to be already working for me. After building the docs, I
cannot select either "$" or "root@qemux86-64:~#" so things seem to be working as
expected?

Antonin