From c1b9fdf3cbcd3032320c37f46115aa7008ecffa3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guillaume=20Perr=C3=A9al?= <guillaume.perreal@irstea.fr>
Date: Thu, 25 Feb 2021 16:46:30 +0100
Subject: [PATCH] Installe les packages CLI en une seule fois.
---
map-exts.php | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/map-exts.php b/map-exts.php
index e4e9661..e0d3c33 100755
--- a/map-exts.php
+++ b/map-exts.php
@@ -2,20 +2,21 @@
<?php
error_reporting(-1);
-$versions = [];
-exec("apt-cache search php-cli | awk '/^php[0-9]\.[0-9]-/{print $1}'", $versions, $error);
+$cli_packages = [];
+exec("apt-cache search php-cli | awk '/^php[0-9]\.[0-9]-/{print $1}'", $cli_packages, $error);
if ($error) {
die("code: $error");
}
+exec("apt-get install -yqq " . implode(" ", $cli_packages));
+
$versions = array_map(function($v) {
return substr($v, 3, 3);
-}, $versions);
+}, $cli_packages);
echo "php_packages:";
foreach($versions as $version) {
fputs(STDERR, "\nProcessing PHP ${version}\n");
- exec("apt-get install -yq php${version}-cli");
exec("apt-cache search ^php${version}- | awk '/^php${version}-/&&!/-dbg/{print$1}'", $packages, $error);
if ($error) {
--
GitLab