2023-09-14 22:40:49 +02:00
|
|
|
import os
|
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
|
|
|
|
|
2023-09-14 22:40:49 +02:00
|
|
|
if os.getenv("THEME_PREFER_LIGHT"):
|
|
|
|
pygments_style = "gruvbox-light"
|
|
|
|
else:
|
|
|
|
pygments_style = "gruvbox-dark"
|
|
|
|
|
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
|
|
|
use_pygments = True
|
2023-12-21 16:12:51 +01:00
|
|
|
pygments_formatter_class = "pygments.formatters.TerminalTrueColorFormatter"
|
|
|
|
pygments_formatter_kwargs = {"style": get_style_by_name(pygments_style)}
|
2021-10-23 15:19:48 +02:00
|
|
|
|
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))
|