Re: [PATCH 3/3] docs: Add prompt to clone commands

On Thu, Jun 05, 2025 at 05:13:23PM +0200, Peter Krempa wrote:

I'm not a fan. The rendered HTML makes it obvious by putting it in a block with different formatting.

With the $ in front you can't tripple click to select the whole line and paste it somewhere.

But since the command itself isn't usable without editing anyways I guess my point isn't entirely sound here.

Decide as you like

I made this a separate commit specifically in case people weren't thrilled about the change. I'll skip it. -- Andrea Bolognani / Red Hat / Virtualization