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/
