On 10:21-20230824, Mattijs Korpershoek wrote: [...]
Some other minor feedback:
- The 'make' lines should really have -j $(nproc) added
Different styles of shells..
- The $ signs at the start of each command in the docs are a pain
since it stops me copying the commands into the terminal - can you remove them?
hehe.. "dont" let people blindly copy paste without understanding what is going on argument?
If folks are OK, I sure can send a different patch series for that.. (or maybe motivate someone to do that instead of me ;))
Have we considered using the .. prompt:: extension ?
https://pypi.org/project/sphinx-prompt/
The prompt extension automatically adds a prompt (like $) in front of each line and disallows copying it when copying from the html generated page.
That does look like a very interesting option. This could very well be a different series of it's own, if Heinrich is OK with it..