From bf4ab419d129200c310f950a9c860abee65c84a4 Mon Sep 17 00:00:00 2001
From: Ben Dilley <ben@skillstream.co.uk>
Date: Mon, 4 Mar 2024 15:41:57 +0000
Subject: [PATCH] kill-matching often needs -9

...so let's always use -9
---
 bin/kill-matching | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/kill-matching b/bin/kill-matching
index f01ae1b..88a4365 100755
--- a/bin/kill-matching
+++ b/bin/kill-matching
@@ -4,4 +4,4 @@ if (( ${#@} < 1 || ${#@} > 1 )); then
     exit 2
 fi
 
-ps ax | grep "[^]]$1" | awk '{print $1}' | xargs kill
+ps ax | grep "[^]]$1" | awk '{print $1}' | xargs kill -9