]> git.pld-linux.org Git - packages/php-dirs.git/commitdiff
- ver 1.8. use ls to find possible php commands auto/th/php-dirs-1.8-1
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 2 May 2018 09:04:04 +0000 (11:04 +0200)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 2 May 2018 09:04:04 +0000 (11:04 +0200)
php-dirs.spec
php-session.sh

index 1eb58aa9d872ec9d71c46a80ae8a643bd3742b9d..6a303b0bf2fdc1d1f357a1354384efc9e14819d7 100644 (file)
@@ -5,7 +5,7 @@
 Summary:       Common dirs for PHP
 Summary(pl.UTF-8):     Wspólne katalogi dla PHP
 Name:          php-dirs
-Version:       1.7
+Version:       1.8
 Release:       1
 License:       GPL
 Group:         Base
index 474c299d477bdd0fe2c7ce3972b58b9ed9f3fedc..06fac3372bc4b0342a7b23d42aaf3ca5851b2884 100755 (executable)
@@ -23,7 +23,7 @@ cleanup_dir() {
 find_gc_time() {
        gc_time=0
        local gc php
-       for php in php php4 php52 php53 php54 php55 php56 php70 php71 php72; do
+       for php in php $(cd /usr/bin && ls -1 php[0-9]* 2> /dev/null); do
                gc=
                if [ -x /usr/bin/$php ]; then
                        gc=$($php -r 'echo max(round(ini_get("session.gc_maxlifetime")/3600), 1);' 2> /dev/null)
This page took 0.139518 seconds and 4 git commands to generate.