From 79d2a79f7e147b70d7b957775f332fde3332e23c Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 21 Sep 2023 17:09:32 +0200 Subject: fix filtering --- mashrepo | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/mashrepo b/mashrepo index 09977e85..20a04474 100755 --- a/mashrepo +++ b/mashrepo @@ -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 -- cgit