diff options
| author | onelin <oscar@nelin.dk> | 2026-07-07 20:18:01 +0000 |
|---|---|---|
| committer | onelin <oscar@nelin.dk> | 2026-07-07 20:18:01 +0000 |
| commit | 13691537d3fc83e426d8599b5675a2066bec882f (patch) | |
| tree | d4470d4b81d0f84c6ff905c65dd4cce2e88d4021 /gitolite/cgit/update_syntax_style.py | |
| parent | db228bf139b670789972ffb6a00595c4dbca0c0b (diff) | |
Add update_syntax_style.py
Diffstat (limited to 'gitolite/cgit/update_syntax_style.py')
| -rw-r--r-- | gitolite/cgit/update_syntax_style.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gitolite/cgit/update_syntax_style.py b/gitolite/cgit/update_syntax_style.py new file mode 100644 index 0000000..c10b030 --- /dev/null +++ b/gitolite/cgit/update_syntax_style.py @@ -0,0 +1,7 @@ +#!/usr/bin/env python3 +import sys +from pygments.formatters import HtmlFormatter + +style = str(sys.argv[1]) +formatter = HtmlFormatter(style=style, nobackground=True) +sys.stdout.write(formatter.get_style_defs('.highlight')) |