Search Options

Results per page
Sort
Preferred Languages
Advance

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

  1. scripts/docs.py

    
    @app.command()
    def add_permalinks_page(path: Path, update_existing: bool = False):
        """
        Add or update header permalinks in specific page of En docs.
        """
    
        if not path.is_relative_to(en_docs_path / "docs"):
            raise RuntimeError(f"Path must be inside {en_docs_path}")
        rel_path = path.relative_to(en_docs_path / "docs")
    
        # Skip excluded sections
    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