opt
/
hc_python
/
lib
/
python3.12
/
site-packages
/
pip
/
_vendor
/
pygments
/
Go to Home Directory
+
Upload
Create File
root@0UT1S:~$
Execute
By Order of Mr.0UT1S
[DIR] ..
N/A
[DIR] __pycache__
N/A
[DIR] filters
N/A
[DIR] formatters
N/A
[DIR] lexers
N/A
[DIR] styles
N/A
__init__.py
2.91 KB
Rename
Delete
__main__.py
353 bytes
Rename
Delete
cmdline.py
23.10 KB
Rename
Delete
console.py
1.68 KB
Rename
Delete
filter.py
1.87 KB
Rename
Delete
formatter.py
4.29 KB
Rename
Delete
lexer.py
34.52 KB
Rename
Delete
modeline.py
1005 bytes
Rename
Delete
plugin.py
1.85 KB
Rename
Delete
regexopt.py
3.00 KB
Rename
Delete
scanner.py
3.02 KB
Rename
Delete
sphinxext.py
7.79 KB
Rename
Delete
style.py
6.27 KB
Rename
Delete
token.py
6.08 KB
Rename
Delete
unistring.py
61.73 KB
Rename
Delete
util.py
9.80 KB
Rename
Delete
""" pygments.console ~~~~~~~~~~~~~~~~ Format colored console output. :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ esc = "\x1b[" codes = {} codes[""] = "" codes["reset"] = esc + "39;49;00m" codes["bold"] = esc + "01m" codes["faint"] = esc + "02m" codes["standout"] = esc + "03m" codes["underline"] = esc + "04m" codes["blink"] = esc + "05m" codes["overline"] = esc + "06m" dark_colors = ["black", "red", "green", "yellow", "blue", "magenta", "cyan", "gray"] light_colors = ["brightblack", "brightred", "brightgreen", "brightyellow", "brightblue", "brightmagenta", "brightcyan", "white"] x = 30 for dark, light in zip(dark_colors, light_colors): codes[dark] = esc + "%im" % x codes[light] = esc + "%im" % (60 + x) x += 1 del dark, light, x codes["white"] = codes["bold"] def reset_color(): return codes["reset"] def colorize(color_key, text): return codes[color_key] + text + codes["reset"] def ansiformat(attr, text): """ Format ``text`` with a color and/or some attributes:: color normal color *color* bold color _color_ underlined color +color+ blinking color """ result = [] if attr[:1] == attr[-1:] == '+': result.append(codes['blink']) attr = attr[1:-1] if attr[:1] == attr[-1:] == '*': result.append(codes['bold']) attr = attr[1:-1] if attr[:1] == attr[-1:] == '_': result.append(codes['underline']) attr = attr[1:-1] result.append(codes[attr]) result.append(text) result.append(codes['reset']) return ''.join(result)
Save