Re: [docs] [PATCH] Add the sphinx-copybutton extension

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

Hi,

On Thu Dec 18, 2025 at 4:50 PM CET, Quentin Schulz via lists.yoctoproject.org wrote:
[...]
> Second, we may need to configure copybutton, e.g. 
> https://sphinx-copybutton.readthedocs.io/en/latest/use.html#strip-and-configure-input-prompts-for-code-cells 
> at the very least I guess.

Good point, I'll add "$ " as the copybutton_prompt_text, so the dollar sign
isn't copied. That way code-blocks containing it will be stripped off when
copying, and others that do not contain it can still be copied as-is.

There's certainly improvements to be made to convert all existing shell code-blocks
but I think this is already an improvement as-is.

Thanks,
Antonin

-- 
Antonin Godard, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com