8000 Update `pygments-lexers.txt` by mdbrnowski · Pull Request #1070 · alecthomas/chroma · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update pygments-lexers.txt #1070

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Apr 20, 2025
Merged

Update pygments-lexers.txt #1070

merged 2 commits into from
Apr 20, 2025

Conversation

mdbrnowski
Copy link
Contributor

File pygments-lexers.txt is mentioned in the README, so I think it's important to keep it updated.

Generated using

import pygments.lexers  # v2.19.1

for x in pygments.lexers.get_all_lexers(plugins=False):
    if len(x[1]):
        lexer = pygments.lexers.get_lexer_by_name(x[1][0])
        print(f"{lexer.__module__}.{lexer.__class__.__name__}")

@alecthomas
Copy link
Owner

This file was the list of remaining lexers, not the list of all Pygments lexers. It's only there out of historical interest.

@alecthomas alecthomas closed this Apr 19, 2025
@mdbrnowski
Copy link
Contributor Author

@alecthomas If it exists for historical reasons, it might be worth noting it somehow in the README.

I decided to generate it again, because previously there was pygments.lexers.theorem.LeanLexer in it, which is now called pygments.lexers.lean.Lean3Lexer / pygments.lexers.lean.Lean4Lexer and people may have a similar problems when using pygments2chroma_xml.py.

@alecthomas alecthomas reopened this Apr 19, 2025
@alecthomas
Copy link
Owner

That's a good idea actually, keeping it as a reference...I think the README needs to be updated to reflect its new purpose though.

@mdbrnowski
Copy link
Contributor Author

Done.

@alecthomas alecthomas merged commit 211957a into alecthomas:master Apr 20, 2025
2 checks passed
@mdbrnowski mdbrnowski deleted the update-pygments-lexers branch April 20, 2025 22:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@alecthomas alecthomas alecthomas approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mdbrnowski @alecthomas
0