From a09ec193b74706f6df0c448d438ce8b7e580e92d Mon Sep 17 00:00:00 2001 From: Christoph Heiss Date: Fri, 20 Sep 2024 11:47:48 +0200 Subject: [PATCH] home-manager: zsh: remove now-included "ripgrep" plugin Signed-off-by: Christoph Heiss --- system/home-manager/common.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/system/home-manager/common.nix b/system/home-manager/common.nix index aae9bf4..dd6fe42 100644 --- a/system/home-manager/common.nix +++ b/system/home-manager/common.nix @@ -196,7 +196,7 @@ in { }]; oh-my-zsh = { enable = true; - plugins = [ "copybuffer" "ripgrep" "safe-paste" "sudo" ]; + plugins = [ "copybuffer" "safe-paste" "sudo" ]; }; };