- Sort Score
- Num 10 results
- Language All
Results 1 - 1 of 1 for writelines (0.06 seconds)
The search processing time has exceeded the limit. The displayed results may be partial.
-
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. """
Created: Sun Dec 28 07:19:09 GMT 2025 - Last Modified: Sun Dec 21 17:40:17 GMT 2025 - 16.9K bytes - Click Count (0)