From 65153b9142f7b14e59a4a2b405c4a48db975140a Mon Sep 17 00:00:00 2001
From: Hau Nguyen <hauvipapro@gmail.com>
Date: Sat, 19 Oct 2024 23:08:17 +0700
Subject: [PATCH] batman

---
 docs/2023-06-25-useful-tools.html | 7 +++++++
 posts/2023-06-25-useful-tools.md  | 1 +
 2 files changed, 8 insertions(+)

diff --git a/docs/2023-06-25-useful-tools.html b/docs/2023-06-25-useful-tools.html
index 0ef25ae..46a17b8 100644
--- a/docs/2023-06-25-useful-tools.html
+++ b/docs/2023-06-25-useful-tools.html
@@ -139,6 +139,13 @@
           >
         </p>
       </li>
+      <li>
+        <p>
+          <a href="https://github.com/eth-p/bat-extras"
+            >https://github.com/eth-p/bat-extras</a
+          >
+        </p>
+      </li>
       <li>
         <p>
           <a href="https://github.com/BurntSushi/ripgrep"
diff --git a/posts/2023-06-25-useful-tools.md b/posts/2023-06-25-useful-tools.md
index 60e6576..db4b457 100644
--- a/posts/2023-06-25-useful-tools.md
+++ b/posts/2023-06-25-useful-tools.md
@@ -16,6 +16,7 @@ This is just a raw list.
 
 - https://github.com/sharkdp/fd
 - https://github.com/sharkdp/bat
+- https://github.com/eth-p/bat-extras
 - https://github.com/BurntSushi/ripgrep
 - https://github.com/dandavison/delta
 - https://github.com/Wilfred/difftastic