diff options
Diffstat (limited to '_includes/gw_tools/search_github.html')
| -rw-r--r-- | _includes/gw_tools/search_github.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/_includes/gw_tools/search_github.html b/_includes/gw_tools/search_github.html new file mode 100644 index 0000000..efcc5e8 --- /dev/null +++ b/_includes/gw_tools/search_github.html @@ -0,0 +1,10 @@ +<form method="GET" action="{{ site.github.repository_url }}/search"> + <input type="text" name="q[]" placeholder="Text to search"> + {% if site.use_github_wiki %} + <input type="hidden" name="type" value="Wikis"> + {% else %} + <!-- <input type="hidden" name="l" value="Markdown"> --> + <input type="hidden" name="q[]" value="path:/{{ site.wiki_folder }}"> + {% endif %} + <input type="submit" value="Search"> +</form>
\ No newline at end of file |