From 17d829c8fc6dd4bf6fe4dc0ce2ae80a73e119bca Mon Sep 17 00:00:00 2001 From: Kevin MacMartin Date: Tue, 5 Mar 2024 21:09:56 -0500 Subject: [PATCH] Fix an issue where plugins that have been removed with names that end the same as plugins still in the project wouldn't be removed by the update script --- update | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/update b/update index 38d480a..9e0e79d 100755 --- a/update +++ b/update @@ -216,7 +216,7 @@ fi [[ -f "$plugin/.git" ]] && { plugin_dirname="${plugin/*\/}" - grep 'path = ' .gitmodules | grep -oe '[^\/]*$' | grep -qe "$plugin_dirname$" || { + grep 'path = ' .gitmodules | grep -oe '[^\/]*$' | grep -qe "^$plugin_dirname$" || { [[ -z "$first_found" ]] && { first_found=1 printf '%s\n' "$cbg_blue $c_reset$cbg_yellow + Removing old plugins: $c_reset"