diff options
| author | Remi Collet <remi@remirepo.net> | 2023-08-03 22:45:36 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-08-03 22:45:36 +0200 |
| commit | 25f9589eb5120d1a37776860a7a32a7e69b17de9 (patch) | |
| tree | c5b6df3efa62bd5836c86cb422b0ae780c4fefcf /mashrepo | |
| parent | bf10732f8ba7429056aa53c2a1e82e51add10926 (diff) | |
add redis6 + simplify list
Diffstat (limited to 'mashrepo')
| -rwxr-xr-x | mashrepo | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -27,6 +27,18 @@ do elif grep -q "^${name}\$" $mash then ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php74-" ]] + then + ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php80-" ]] + then + ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php81-" ]] + then + ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php82-" ]] + then + ln $rpm $copy && echo "+ $rpm" elif [[ "^${name}" =~ "^php83-" ]] then ln $rpm $copy && echo "+ $rpm" |