2020-01-27 11:38:26 +01:00
|
|
|
import pdb
|
|
|
|
|
2021-10-23 15:19:48 +02:00
|
|
|
from pygments.styles import get_style_by_name
|
|
|
|
|
2020-06-14 17:23:01 +02:00
|
|
|
|
2020-01-27 11:38:26 +01:00
|
|
|
class Config(pdb.DefaultConfig):
|
2021-10-23 15:19:48 +02:00
|
|
|
# prompt = "(Pdb++) "
|
2020-06-14 17:23:01 +02:00
|
|
|
sticky_by_default = True
|
|
|
|
use_pygments = True
|
2021-10-23 15:19:48 +02:00
|
|
|
if pdb.__version__.version.startswith("0.10.4."):
|
|
|
|
pygments_formatter_class = "pygments.formatters.TerminalTrueColorFormatter"
|
|
|
|
pygments_formatter_kwargs = {"style": get_style_by_name("gruvbox-dark")}
|
|
|
|
else:
|
|
|
|
from pygments.formatters import TerminalTrueColorFormatter
|
|
|
|
|
|
|
|
formatter = TerminalTrueColorFormatter(style=get_style_by_name("gruvbox-dark"))
|
|
|
|
|
2020-06-14 17:23:01 +02:00
|
|
|
editor = "vim"
|
2021-02-19 08:48:52 +01:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
from pygments.styles import get_all_styles
|
|
|
|
|
|
|
|
all_styles = get_all_styles()
|
|
|
|
print(list(all_styles))
|