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

This commit is contained in:
Kevin MacMartin 2024-03-05 21:09:56 -05:00
parent eaaa31bffe
commit 17d829c8fc

2
update
View file

@ -216,7 +216,7 @@ fi
[[ -f "$plugin/.git" ]] && { [[ -f "$plugin/.git" ]] && {
plugin_dirname="${plugin/*\/}" plugin_dirname="${plugin/*\/}"
grep 'path = ' .gitmodules | grep -oe '[^\/]*$' | grep -qe "$plugin_dirname$" || { grep 'path = ' .gitmodules | grep -oe '[^\/]*$' | grep -qe "^$plugin_dirname$" || {
[[ -z "$first_found" ]] && { [[ -z "$first_found" ]] && {
first_found=1 first_found=1
printf '%s\n' "$cbg_blue $c_reset$cbg_yellow + Removing old plugins: $c_reset" printf '%s\n' "$cbg_blue $c_reset$cbg_yellow + Removing old plugins: $c_reset"