From 267a100b095fb29bbf92d4ef4c63cab191e88a5e Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Fri, 27 Jun 2025 23:02:57 +1000
Subject: [PATCH] tools: Add patch command to "git diff"

- May as well let the changes be easily removed.
---
 eris/tools.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/eris/tools.toml b/eris/tools.toml
index 546d7ed..a62aed8 100644
--- a/eris/tools.toml
+++ b/eris/tools.toml
@@ -128,6 +128,7 @@ tools_for_extensions = [
   dependencies = ["git"]
   url = "https://git-scm.com/docs/git-diff"
   command = "git diff --exit-code"
+  patch_command = "git checkout"
   has_color = true
 
 [git_blame]