/usr/share/pgcli/pgcli/pgstyle.py is in pgcli 1.3.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | from pygments.token import string_to_tokentype
from pygments.util import ClassNotFound
from prompt_toolkit.styles import PygmentsStyle
import pygments.styles
def style_factory(name, cli_style):
try:
style = pygments.styles.get_style_by_name(name)
except ClassNotFound:
style = pygments.styles.get_style_by_name('native')
custom_styles = dict([(string_to_tokentype(x), y)
for x, y in cli_style.items()])
return PygmentsStyle.from_defaults(style_dict=custom_styles,
pygments_style_cls=style)
|