From 4647841b0bba9e43315da5b52806d067bc3170e5 Mon Sep 17 00:00:00 2001
From: Thiago Kenji Okada <thiagokokada@gmail.com>
Date: Fri, 22 Nov 2024 14:04:42 +0000
Subject: [PATCH] home-manager/dev: move tealdeer from cli

---
 home-manager/cli/default.nix |  2 --
 home-manager/dev/default.nix | 12 ++++++++++++
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/home-manager/cli/default.nix b/home-manager/cli/default.nix
index 0ef09fb9..d9584212 100644
--- a/home-manager/cli/default.nix
+++ b/home-manager/cli/default.nix
@@ -56,10 +56,8 @@ in
         page
         procps
         pv
-        python3
         ripgrep
         rlwrap
-        tealdeer
         tokei
         wget
       ];
diff --git a/home-manager/dev/default.nix b/home-manager/dev/default.nix
index 0db832ef..5aafd845 100644
--- a/home-manager/dev/default.nix
+++ b/home-manager/dev/default.nix
@@ -33,6 +33,18 @@
         enable = true;
         enableZshIntegration = false;
       };
+      tealdeer = {
+        enable = true;
+        settings = {
+          display = {
+            compact = false;
+            use_pager = true;
+          };
+          updates = {
+            auto_update = false;
+          };
+        };
+      };
       zsh.initExtra = # bash
         # manually creating integrations since this is faster than calling
         # the `direnv hook zsh` itself during startup