3 pygments.console |
3 pygments.console |
4 ~~~~~~~~~~~~~~~~ |
4 ~~~~~~~~~~~~~~~~ |
5 |
5 |
6 Format colored console output. |
6 Format colored console output. |
7 |
7 |
8 :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS. |
8 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. |
9 :license: BSD, see LICENSE for details. |
9 :license: BSD, see LICENSE for details. |
10 """ |
10 """ |
11 |
11 |
12 esc = "\x1b[" |
12 esc = "\x1b[" |
13 |
13 |
14 codes = {} |
14 codes = {} |
15 codes[""] = "" |
15 codes[""] = "" |
16 codes["reset"] = esc + "39;49;00m" |
16 codes["reset"] = esc + "39;49;00m" |
17 |
17 |
18 codes["bold"] = esc + "01m" |
18 codes["bold"] = esc + "01m" |
19 codes["faint"] = esc + "02m" |
19 codes["faint"] = esc + "02m" |
20 codes["standout"] = esc + "03m" |
20 codes["standout"] = esc + "03m" |
21 codes["underline"] = esc + "04m" |
21 codes["underline"] = esc + "04m" |
22 codes["blink"] = esc + "05m" |
22 codes["blink"] = esc + "05m" |
23 codes["overline"] = esc + "06m" |
23 codes["overline"] = esc + "06m" |
24 |
24 |
25 dark_colors = ["black", "darkred", "darkgreen", "brown", "darkblue", |
25 dark_colors = ["black", "darkred", "darkgreen", "brown", "darkblue", |
26 "purple", "teal", "lightgray"] |
26 "purple", "teal", "lightgray"] |
27 light_colors = ["darkgray", "red", "green", "yellow", "blue", |
27 light_colors = ["darkgray", "red", "green", "yellow", "blue", |
28 "fuchsia", "turquoise", "white"] |
28 "fuchsia", "turquoise", "white"] |
29 |
29 |
30 x = 30 |
30 x = 30 |
31 for d, l in zip(dark_colors, light_colors): |
31 for d, l in zip(dark_colors, light_colors): |
33 codes[l] = esc + "%i;01m" % x |
33 codes[l] = esc + "%i;01m" % x |
34 x += 1 |
34 x += 1 |
35 |
35 |
36 del d, l, x |
36 del d, l, x |
37 |
37 |
38 codes["darkteal"] = codes["turquoise"] |
38 codes["darkteal"] = codes["turquoise"] |
39 codes["darkyellow"] = codes["brown"] |
39 codes["darkyellow"] = codes["brown"] |
40 codes["fuscia"] = codes["fuchsia"] |
40 codes["fuscia"] = codes["fuchsia"] |
41 codes["white"] = codes["bold"] |
41 codes["white"] = codes["bold"] |
42 |
42 |
43 |
43 |
44 def reset_color(): |
44 def reset_color(): |
45 return codes["reset"] |
45 return codes["reset"] |
46 |
46 |