Most command in the page have the$, even though I don't remember if there was a specific reason/convention, so I didn't remove it. We could remove most/all of them in a separate PR.

https://devguide.python.org/documentation/style-guide/#code-examples says to use prompts sparingly to differentiate input/output lines, even though it's talking mainly about Python>>>/.... We could remove most/all of them in a separate PR.

Also note that theshell highlight is for shell scripts, whereas theconsole highlight for shell sessions with prompts (seehttps://pygments.org/docs/lexers/#lexers-for-various-shells).

Yeah,console is useful when you have a prompt and output to show. Otherwiseshell for plain commands.

Console:

$ls| wc -l# good formatting for command + output 👍     158

ls | wc -l  # bad formatting for command 👎

Shell:

$ ls| wc -l# bad formatting for output 👎     158

ls| wc -l# good formatting for command 👍

Most command in the page have the$, even though I don't remember if there was a specific reason/convention, so I didn't remove it. We could remove most/all of them in a separate PR.

https://devguide.python.org/documentation/style-guide/#code-examples says to use prompts sparingly to differentiate input/output lines, even though it's talking mainly about Python>>>/.... We could remove most/all of them in a separate PR.

Also note that theshell highlight is for shell scripts, whereas theconsole highlight for shell sessions with prompts (seehttps://pygments.org/docs/lexers/#lexers-for-various-shells).