2003-11-09 14:05:36 +00:00
|
|
|
<?php
|
|
|
|
|
2003-12-04 19:39:46 +00:00
|
|
|
/** Find a specific file by name.
|
|
|
|
*
|
|
|
|
* Usage: php findfile.php <path> <name>
|
|
|
|
*
|
2004-04-25 13:06:15 +00:00
|
|
|
* <path> Path to search in. You can specify multiple paths by separating
|
|
|
|
* them with ';'.
|
2003-12-04 19:39:46 +00:00
|
|
|
* <name> Filename to look for.
|
|
|
|
*
|
2004-04-25 13:06:15 +00:00
|
|
|
* (c) Marcus Boerger, 2003 - 2004
|
2003-12-04 19:39:46 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
if ($argc < 3) {
|
|
|
|
echo <<<EOF
|
2004-04-25 13:06:15 +00:00
|
|
|
Usage: php findfile.php <path> <name>
|
2003-12-04 19:39:46 +00:00
|
|
|
|
|
|
|
Find a specific file by name.
|
|
|
|
|
|
|
|
<path> Path to search in.
|
|
|
|
<name> Filename to look for.
|
|
|
|
|
|
|
|
|
|
|
|
EOF;
|
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
|
2004-01-25 13:03:24 +00:00
|
|
|
foreach(new FindFile($argv[1], $argv[2]) as $file) echo $file->getPathname()."\n";
|
2003-11-09 14:05:36 +00:00
|
|
|
?>
|