The redirect plugin doesn't support this, and it's not feasible to do server-side so we need to do the redirect client-side with some javascript.
## Summary This PR improves the copy of the console command example by: - Preventing the selection of generic prompts and generic output - Lazily setting copy content by leveraging intersection observer Most of the changes are inspired by https://github.com/opensafely/documentation/pull/1461 Some other useful refs: - https://github.com/squidfunk/mkdocs-material/issues/3647 - https://mkdocstrings.github.io/recipes/#prevent-selection-of-prompts-and-output-in-python-code-blocks Resolves #5355 ## Test Plan - ``` shell-session mkdocs serve -f mkdocs.public.yml ``` - Navigate to http://localhost:8000/uv/first-steps/#viewing-the-version - Try clicking the copy button - Try copying by selecting the content --------- Co-authored-by: Zanie Blue <contact@zanie.dev>
Zanie Blue
eth3lbert
Zanie Blue
eth3lbert