[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/