- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for is_relative_to (0.04 sec)
-
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)