From 49bbb3f12f2b2860b715defb24013fa328e26d88 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 24 Feb 2021 17:34:36 +0100 Subject: F34 helpers --- cleanoldrpm | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'cleanoldrpm') diff --git a/cleanoldrpm b/cleanoldrpm index 0e54faa..c72c4d0 100755 --- a/cleanoldrpm +++ b/cleanoldrpm @@ -7,9 +7,14 @@ $mode = 0; $keep = 0; $dest = false; $multi = [ - 'php' => 3, // php/8.0 - 'redis' => 3, // redis/6.2 - 'composer' => 1, // composer/2 + '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 ]; if (isset($_SERVER['argv'][1])) { $keep = (int)$_SERVER['argv'][1]; -- cgit