X-Git-Url: https://git.plutz.net/?a=blobdiff_plain;f=themes%2Fdefault.sh;fp=themes%2Fdefault.sh;h=5e38ee4583f743c9240464022648d864bee9aeaf;hb=35c700335c55a0819e3582a77211e3cb280f48fe;hp=85febeef60e7274563a2e62c0d59698e7088bb12;hpb=9093deb385bb32eddd5149cd68c3eecb65a9c415;p=shellwiki

diff --git a/themes/default.sh b/themes/default.sh
index 85febee..5e38ee4 100755
--- a/themes/default.sh
+++ b/themes/default.sh
@@ -131,6 +131,25 @@ theme_editor(){
 
 theme_revisions(){ theme_page "$@"; }
 
+theme_search(){
+  local words="$*"
+  # STDIN: read result pages line by line
+
+  theme_page - <<-EOF
+	<article>
+	  <h1>$([ "$words" ] && _ "Search results" || _ "Search" )</h1>
+	  <form method=GET>
+	    <input class="search" name="q" value="$(HTML $words)"><button class="search" type="submit">$(_ Search)</button>
+	  </form>
+	  <ol class="searchresults">
+	    $( while read p; do
+	      printf '<li><a href="%s">%s</a></li>' "$(URL "$p")" "$(HTML "$p")"
+	    done)
+	  </ol>
+	</article>
+	EOF
+}
+
 theme_attachments(){
   local page="$1" title
   title="${page%/}"; title="${title##*/}"