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 | 8c82fb1d17afaeacfbc78b3b39e559af0cf7542d (patch) | |
tree | 5f33ad36270748e5782945f29c6b527206868a2d | |
parent | 01962e05a49a297f6fc72929bd44322a777eb047 (diff) |
checkpkgist: accept a path as pasckage name
-rwxr-xr-x | checkpkgist.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/checkpkgist.php b/checkpkgist.php index e3cf4f2..5a37bfc 100755 --- a/checkpkgist.php +++ b/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]; |