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.. -- Regards, Nishanth Menon Key (0xDDB5849D1736249D) / Fingerprint: F8A2 8693 54EB 8232 17A3 1A34 DDB5 849D 1736 249D