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