batman

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"

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