Add a very rough and dirty search mechanism that uses Git’s grep.

2010-08-22 23:17:54 +02:00
parent 48b143c6ed
commit 4905ce99da
4 changed files with 60 additions and 1 deletions
@@ -1,7 +1,9 @@
 <div class="guide">
  <div class="main">
    <div class="actions">
-      <a href="/">Home</a> | <a href="/edit/{{name}}">Edit</a>
+      <form action="/search" method="get">
+        <a href="/">Home</a> | <a href="/edit/{{name}}">Edit</a> | <input type="text" name="q" size="10" /> <input type="submit" value="search" />
+      </form>
    </div>
    <h1>{{title}}</h1>
    <div class="content wikistyle gollum {{format}}">