- Sort Score
- Num 10 results
- Language All
Results 1 - 1 of 1 for writeLines (0.09 seconds)
-
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 Apr 05 07:19:11 GMT 2026 - Last Modified: Thu Mar 05 17:46:10 GMT 2026 - 25.4K bytes - Click Count (0)