home-manager/dev: move tealdeer from cli

thiagokokada · Nov 22, 2024 · 4647841 · 4647841
1 parent 7dc8282
commit 4647841
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git 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
@@ -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
-Original file line number
+Diff line change
@@ Expand Up / @@ -56,10 +56,8 @@ in @@
             page
             procps
             pv
-            python3
             ripgrep
             rlwrap
-            tealdeer
             tokei
             wget
           ];
@@ Expand Down @@