diff --git a/map-exts.php b/map-exts.php index e4e9661fb3b3f9581ad8c1743bb1315b89d80f0c..e0d3c337c61704f9beee78a11f61eec7ab08a039 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) {