[savannah-help-public] [sr #109451] Add search box to Savannah wiki

[Svetlana Tkachenko]

URL:
<http://savannah.gnu.org/support/?109451>

Summary: Add search box to Savannah wiki
Project: Savannah Administration
Submitted by: svetlana
Submitted on: Sun 21 Jan 2018 04:09:05 AM UTC
Category: None
Priority: 5 - Normal
Severity: 3 - Normal
Status: None
Assigned to: None
Originator Email:
Operating System: None
Open/Closed: Open
Discussion Lock: Any

_______________________________________________________

Details:

Would be nice to add a search box at the right top of all pages.

https://savannah.gnu.org/maintenance/FrontPage/

ikiwiki has a search plugin that can use either xapian or an external search
engine. Many external search engines use non-free JavaScript. Setting up
xapian might be worthwhile.

https://ikiwiki.info/plugins/search/




_______________________________________________________

Reply to this item at:

<http://savannah.gnu.org/support/?109451>

_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/