From c3656998c0c35812a4e261beee3c0b5c649c1009 Mon Sep 17 00:00:00 2001 From: Michael Czechowski Date: Wed, 16 Jul 2025 16:35:52 +0200 Subject: [PATCH] add stop command to zsh --- home.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/home.nix b/home.nix index ab558e2..9f7ddfa 100644 --- a/home.nix +++ b/home.nix @@ -72,6 +72,7 @@ g = "git"; ls = "ls --color=auto"; gedit = "gnome-text-editor"; + stop = "kill_by_name() { pids=$(pgrep -f $1); if [ -n \"$pids\" ]; then kill -9 $pids; else echo \"No matching process found.\"; fi; }; kill_by_name"; }; sessionVariables = {