<?php
-$limit = 10;
+$limit = @$Place['limit'] ?: 10;
$path = ' '.escapeshellarg('*.html');
+$query = @$_REQUEST['q'] ?: $Args ?: $Page;
-$cmd = "git grep -li -- ".escapeshellarg($Page).$path;
+if (!trim($query, '/')) return;
+
+$cmd = "git grep -li -- ".escapeshellarg($query).$path;
exec($cmd, $results);
if (count($results) > $limit) {
shuffle($results);
exec($cmd, $ls);
if ($ls) {
# order files by similarity to query
- $ls = array_combine($ls, array_map(function ($row) use ($Page) {
+ $ls = array_combine($ls, array_map(function ($row) use ($query) {
$row = preg_replace('{(?:^|/)index\.html$}', '', $row);
- return similar_text($row, $Page) - strlen($row) / 8;
+ return similar_text($row, $query) - strlen($row) / 8;
}, $ls));
arsort($ls);
$results = ['index.html'];
}
+if (isset($Place['verbose'])) {
+ printf("<p>%s gevonden voor <q>%s</q>:</p>\n",
+ $results ? count($results).' resultaten' : 'Niets',
+ htmlspecialchars($query)
+ );
+}
+
require_once('nieuws.inc.php');
print '<ul>';
foreach ($results as $result) {