Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for addErr (0.04 sec)

  1. scripts/docs.py

        if lang is None:
            lang = "en"
        lang_path: Path = docs_path / lang
        # Enable line numbers during local development to make it easier to highlight
        args = ["mkdocs", "serve", "--dev-addr", "127.0.0.1:8008"]
        if dirty:
            args.append("--dirty")
        subprocess.run(
            args, env={**os.environ, "LINENUMS": "true"}, cwd=lang_path, check=True
        )
    
    
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Sun Dec 21 17:40:17 UTC 2025
    - 16.9K bytes
    - Viewed (0)
Back to top