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
