diff options
| author | Remi Collet <remi@remirepo.net> | 2023-09-21 17:09:32 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-09-21 17:09:32 +0200 |
| commit | 79d2a79f7e147b70d7b957775f332fde3332e23c (patch) | |
| tree | c850c3258f1f908a2bd4bad518136d9d6f78b3b2 | |
| parent | c8642fafa342292961bc5c4a9cbafb80e54cd4e5 (diff) | |
fix filtering
| -rwxr-xr-x | mashrepo | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -27,19 +27,19 @@ do elif grep -q "^${name}\$" $mash then ln $rpm $copy && echo "+ $rpm" - elif [[ "^${name}" =~ "^php74-" ]] + elif [[ "^${name}" =~ "^php74" ]] then ln $rpm $copy && echo "+ $rpm" - elif [[ "^${name}" =~ "^php80-" ]] + elif [[ "^${name}" =~ "^php80" ]] then ln $rpm $copy && echo "+ $rpm" - elif [[ "^${name}" =~ "^php81-" ]] + elif [[ "^${name}" =~ "^php81" ]] then ln $rpm $copy && echo "+ $rpm" - elif [[ "^${name}" =~ "^php82-" ]] + elif [[ "^${name}" =~ "^php82" ]] then ln $rpm $copy && echo "+ $rpm" - elif [[ "^${name}" =~ "^php83-" ]] + elif [[ "^${name}" =~ "^php83" ]] then ln $rpm $copy && echo "+ $rpm" else |