@@ -22,8 +22,17 @@ def create_highlighted_versions(output_basepath):
23 for source in glob.glob(path.join(root, "source", "*", "*")):
23 for source in glob.glob(path.join(root, "source", "*", "*")):
25+ env = os.environ.copy()
26+ env.pop("PAGER", None)
27+ env.pop("BAT_PAGER", None)
28+ env.pop("BAT_CONFIG_PATH", None)
29+ env.pop("BAT_STYLE", None)
30+ env.pop("BAT_THEME", None)
31+ env.pop("BAT_TABS", None)
32+ env["COLORTERM"] = "truecolor" # make sure to output 24bit colors
25 bat_output = subprocess.check_output(
34 bat_output = subprocess.check_output(
26− ["bat"] + BAT_OPTIONS + [source], stderr=subprocess.PIPE,
35+ ["bat"] + BAT_OPTIONS + [source], stderr=subprocess.PIPE, env=env,
29 source_dirname = path.basename(path.dirname(source))
38 source_dirname = path.basename(path.dirname(source))