From 31dd9b654693dc5c0c0ee3ff28df0180f708165f Mon Sep 17 00:00:00 2001 From: insert Date: Sun, 14 Apr 2024 12:11:29 -0400 Subject: [PATCH] add zsh-nix-shell --- home.nix | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/home.nix b/home.nix index ae046d1..22e8931 100644 --- a/home.nix +++ b/home.nix @@ -160,9 +160,17 @@ ''; plugins = [ - {name = "powerlevel10k";src = pkgs.zsh-powerlevel10k;file = "share/zsh-powerlevel10k/powerlevel10k.zsh-theme";} - + { + name = "zsh-nix-shell"; + file = "nix-shell.plugin.zsh"; + src = pkgs.fetchFromGitHub { + owner = "chisui"; + repo = "zsh-nix-shell"; + rev = "v0.8.0"; + sha256 = "1lzrn0n4fxfcgg65v0qhnj7wnybybqzs4adz7xsrkgmcsr0ii8b7"; + }; + } ]; syntaxHighlighting.enable = true; historySubstringSearch.enable = true;