search: dedicated page with query form

[minimedit.git] / search.php

diff --git a/search.php b/search.php
index e1da846057329535512477e3148d85b9da6c554e..2f093c9d8dacf517747298a11d686be5a8895873 100644 (file)
--- a/search.php
+++ b/search.php
@@ -1,13 +1,44 @@
 <?php
+$limit = @$Place['limit'] ?: 10;
 $path = ' '.escapeshellarg('*.html');
-$cmd = "git grep -li -- ".escapeshellarg($Page).$path;
-$cmd .= ' |sort -R |head -n 10'; # random selection
+$query = @$_REQUEST['q'] ?: $Args ?: $Page;
+
+if (!trim($query, '/')) return;
+
+$cmd = "git grep -li -- ".escapeshellarg($query).$path;
 exec($cmd, $results);
+if (count($results) > $limit) {
+       shuffle($results);
+       array_splice($results, $limit);
+}
+
+$cmd = "git ls-files -- $path";
+exec($cmd, $ls);
+if ($ls) {
+       # order files by similarity to query
+       $ls = array_combine($ls, array_map(function ($row) use ($query) {
+               $row = preg_replace('{(?:^|/)index\.html$}', '', $row);
+               return similar_text($row, $query) - strlen($row) / 8;
+       }, $ls));
+       arsort($ls);
 
-if (!$results) {
+       # prepend best match, replace unless duplicate
+       array_unshift($results, key($ls));
+       $results = array_unique($results);
+       array_splice($results, $limit);
+}
+
+elseif (!$results) {
        $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) {