- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for writelines (0.05 sec)
-
scripts/docs.py
permalinks.add(slug) line = f"{hashes} {title} {{ #{slug} }}\n" updated_lines.append(line) with path.open("w", encoding="utf-8") as f: f.writelines(updated_lines) @app.command() def add_permalinks_pages(pages: list[Path], update_existing: bool = False) -> None: """ Add or update header permalinks in specific pages of En docs. """
Registered: Sun Dec 28 07:19:09 UTC 2025 - Last Modified: Sun Dec 21 17:40:17 UTC 2025 - 16.9K bytes - Viewed (0)