From 2c9f17697bd9da34e608f8e1e843d11590c6217c Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 4 Jun 2021 16:47:09 +0200 Subject: helpers for php81 scl --- cleanoldrpm | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'cleanoldrpm') diff --git a/cleanoldrpm b/cleanoldrpm index c72c4d0..95db69e 100755 --- a/cleanoldrpm +++ b/cleanoldrpm @@ -7,14 +7,16 @@ $mode = 0; $keep = 0; $dest = false; $multi = [ - 'php' => 3, // php/8.0 - 'redis' => 3, // redis/6.2 - 'redis-devel' => 3, // redis/6.2 - 'redis-doc' => 3, // redis/6.2 - 'redis-trib' => 3, // redis/6.2 - 'redis' => 3, // redis/6.2 - 'composer' => 1, // composer/2 - 'phan' => 1, // phan/3 + 'php' => 3, // php/8.0 + 'redis' => 3, // redis/6.2 + 'redis-debuginfo' => 3, // redis/6.2 + 'redis-debugsource' => 3, // redis/6.2 + 'redis-devel' => 3, // redis/6.2 + 'redis-doc' => 3, // redis/6.2 + 'redis-trib' => 3, // redis/6.2 + 'redis' => 3, // redis/6.2 + 'composer' => 1, // composer/2 + 'phan' => 1, // phan/3 ]; if (isset($_SERVER['argv'][1])) { $keep = (int)$_SERVER['argv'][1]; -- cgit