Pygments

Pygments to popularne narzędzie do kolorowania składni (syntax highlighting), napisane w Pythonie. Jest szeroko stosowane do generowania kodu źródłowego z kolorowaniem składni w formacie HTML, LaTeX, RTF, SVG i wielu innych. Pygments obsługuje ogromną liczbę języków programowania i formatów plików, co czyni go bardzo uniwersalnym.

Główne cechy Pygments:

• Obsługa wielu języków: Pygments rozpoznaje ponad 500 języków programowania i typów plików, w tym popularne jak Python, C++, JavaScript, HTML, SQL, a także mniej znane jak Brainfuck czy EBNF.
• Wiele formatów wyjściowych: Pygments może generować kolorowany kod w różnych formatach, takich jak HTML, LaTeX, RTF i SVG.
• Rozszerzalność: Pygments pozwala na tworzenie własnych stylów i lexerów (parserów składni), dzięki czemu można dostosować narzędzie do specyficznych potrzeb.
• Łatwość użycia: Instalacja i użycie Pygments jest proste, dzięki dostępności jako pakiet Pythonowy.

Instalacja

pip install Pygments

Podstawowe użycie

# Aby pokolorować plik .ino i zapisać wynik jako HTML:
pygmentize -o output.html input.ino

# Wyświetlenie listy obsługiwanych języków:
pygmentize -L lexers

# Wyświetlenie dostępnych styli:
pygmentize -L styles
        

Przykład w Pythonie

from pygments import highlight
from pygments.lexers import ArduinoLexer
from pygments.formatters import HtmlFormatter

code = """
void setup() {{
    Serial.begin(9600);
}}

void loop() {{
    Serial.println("Witaj, Arduino!");
}}
"""

lexer = ArduinoLexer()
formatter = HtmlFormatter(full=True, style='colorful')

html_code = highlight(code, lexer, formatter)

with open("sketch.html", "w") as file:
    file.write(html_code)

print("Plik HTML został zapisany jako sketch.html")
        

Dostosowanie stylu

pygmentize -o output.html -f html -S monokai input.ino

Używanie w projektach webowych

Pygments można zintegrować z frameworkami webowymi, takimi jak Flask lub Django, do dynamicznego renderowania kodu źródłowego w aplikacjach internetowych. Można także wygenerować statyczne strony dokumentacji kodu.

Podsumowanie

Pygments jest bardzo wszechstronnym narzędziem do kolorowania składni, łatwym w użyciu i szeroko wspieranym przez społeczność programistów. Jeśli pracujesz nad projektem, który wymaga wyświetlania kodu źródłowego w atrakcyjny sposób, Pygments jest idealnym wyborem ze względu na swoją elastyczność i prostotę użycia.

Notatka opracowana przez ChatGPT (link). Drukuj Zamknij