Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for writelines (0.05 sec)

  1. 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)
Back to top