From 206be0599b5012368d2828d1a5542d2acedae9b9 Mon Sep 17 00:00:00 2001
From: "Casper V. Kristensen" <casper@vkristensen.dk>
Date: Fri, 1 Dec 2023 20:57:14 +0100
Subject: [PATCH] 23.11: no more need for ripgrep overlay

---
 overlays/default.nix | 4 +---
 overlays/ripgrep.nix | 7 -------
 2 files changed, 1 insertion(+), 10 deletions(-)
 delete mode 100644 overlays/ripgrep.nix

diff --git a/overlays/default.nix b/overlays/default.nix
index 3b841c4..27188f5 100644
--- a/overlays/default.nix
+++ b/overlays/default.nix
@@ -1,5 +1,3 @@
 { ... }: {
-  imports = [
-    ./ripgrep.nix
-  ];
+  imports = [ ];
 }
diff --git a/overlays/ripgrep.nix b/overlays/ripgrep.nix
deleted file mode 100644
index e46bbb1..0000000
--- a/overlays/ripgrep.nix
+++ /dev/null
@@ -1,7 +0,0 @@
-{ home-manager, home-manager-unstable, ... }: {
-  # ripgrep isn't in Home Manager v23.05
-
-  home-manager.users.caspervk = {
-    imports = [ "${home-manager-unstable}/modules/programs/ripgrep.nix" ];
-  };
-}