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 = {