nix-super/doc/manual
Valentin Gagarin 180538672a disallow selecting shell prompt in code samples
this is a quick half-fix for command line examples, as discussed
discussed in [1].

[1]: https://github.com/NixOS/nix/pull/7389

examples which look like this

    $ foo bar
    baz

are confusing for Unix shell beginners, because it's hard to discern
what is supposed to be entered into the actual command line when the
convention of prefixing `$` is not known, as barely any real-world shell
looks that way any more.

this change prevents selecting the prompt part with the mouse in the
HTML representation of the Nix manual.

it does not prevent selecting the output part of the shell example.
it also does not address that the copy button provided by mdBook takes
the entire sample, including the prompts, into the clipboard.
2022-12-05 11:01:46 +01:00
..
src Merge pull request #7251 from RelationalAI-oss/sp-docs-uninstall-prompt 2022-12-01 19:24:09 +01:00
theme doc/manual: don't need to copy highlight.js manually 2021-08-04 19:47:05 -07:00
anchors.jq doc: Port anchors preprocessor to jq script 2022-05-26 18:17:21 +02:00
book.toml doc: Add redirects for the DocBook manual 2022-05-26 18:17:21 +02:00
custom.css disallow selecting shell prompt in code samples 2022-12-05 11:01:46 +01:00
generate-builtins.nix refactor rendering documentation of builtins 2022-11-24 14:15:43 +01:00
generate-manpage.nix add missing newline, for consistent formatting 2022-11-30 23:40:53 +01:00
generate-options.nix manual: update options generation code to use default values 2022-10-20 12:05:04 -07:00
local.mk Print common flags in --help 2022-10-07 09:07:22 -07:00
quote-literals.xsl Generate release notes again 2014-03-12 14:24:29 +01:00
redirects.js fix typos in comments 2022-11-09 00:49:34 +01:00
utils.nix refactor showOptions 2022-09-30 01:43:53 +02:00