diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-12-12 09:42:47 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-12-12 09:42:47 +0100 |
commit | 73e5ef3ca8f28dacae8ad8076f981d1866239a82 (patch) | |
tree | 2ae3fd6028b62ebf3dcf416e5461b3e83e1be7e4 | |
parent | d4019c04c2e4cd48c8c6b09d4a10e2c00eb5458b (diff) |
checkpkgist: accept a path as pasckage name
-rwxr-xr-x | checkpkgist/checkpkgist.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/checkpkgist/checkpkgist.php b/checkpkgist/checkpkgist.php index e3cf4f2..5a37bfc 100755 --- a/checkpkgist/checkpkgist.php +++ b/checkpkgist/checkpkgist.php @@ -196,6 +196,9 @@ printf(" %-40s %15s %15s %15s\n", "Name", "Version", "Upstream", "Date"); $tmp = array(); for ($i=1 ; $i<$_SERVER['argc'] ; $i++) { + if (is_dir($_SERVER['argv'][$i])) { + $_SERVER['argv'][$i] = basename(realpath($_SERVER['argv'][$i])); + } $k = array_search($_SERVER['argv'][$i], $pkgs); if ($k) { $tmp[$k] = $pkgs[$k]; |