From 0b265d660816ecd7d46784c39d5d73434c8f2ec7 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Tue, 9 May 2023 07:17:57 -0700 Subject: [PATCH] colorize diff output --- coder.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/coder.py b/coder.py index eb93d3ed9..ee39a9e83 100755 --- a/coder.py +++ b/coder.py @@ -426,7 +426,11 @@ class Coder: relative_dirty_fnames = [] for fname in self.fnames: relative_fname = os.path.relpath(fname, repo.working_tree_dir) - these_diffs = repo.git.diff("HEAD", relative_fname) + if self.pretty: + these_diffs = repo.git.diff("HEAD", "--color", relative_fname) + else: + these_diffs = repo.git.diff("HEAD", relative_fname) + if these_diffs: dirty_fnames.append(fname) relative_dirty_fnames.append(relative_fname)