See https://discordapp.com/channels/485586884165107732/485586884165107734/558281550270038037 .
Is this even possible with our md files?
It looks like the comment is that in the documentation we put
$ dvc add foo.txt
Meaning, there's a $ at the front of the line, and the person writing the comment finds that inconvenient. I can understand the point.
In the dvc.org Markdown files it would be trivial to remove those things, just edit the files and remove them.
However ...
This is a longstanding practice by nearly/all authors of documentation for Unix command-line usage. Use of $ and # at the beginning of command text denotes whether the command is run as a normal user or as root.
The person writing the comment seems to believe this is not common practice? As a user of Unix systems since 1981 (or thereabouts) that my experience is this IS common practice.
The person writing the comment seems to believe this is not common practice?
No, there is a suggestion to alter the HTML (or introduce some javascript to make a fancy code blocks) to make it easy to copy the command alone. It looks quite a big effort for a minor issue, as of mine.
@robogeek I totally agree with you! I didn't mean to remove $, I meant that it shouldn't be selectable like in https://linuxize.com/post/how-to-set-or-change-timezone-on-debian-9/ .
@ei-grad Agreed, I'm wondering if it is a big effort though :)
there is an ongoing effort to fix this by @ashelkov, hopefully soon.
it should be possible to do this with JS
Sorry for returning to the closed issue, but a small imperfection is bothering me:) When we have several $ command lines leading space is selected starting from the second one:

@Suor yep, it's bothering me as well. Let's fix it :)
Most helpful comment
Sorry for returning to the closed issue, but a small imperfection is bothering me:) When we have several
$command lines leading space is selected starting from the second one: