#2161: make ET mailing lists searchable ---------------------------------+---------------------------- Reporter: Roland Haas | Type: enhancement Status: new | Priority: minor Milestone: | Component: Cactus website Version: development version | Keywords: ---------------------------------+---------------------------- Right now there is no explicit search field for the Einstein Toolkit mailing lists. Google apparently indexes them.
At the ET meeting at GeorgiaTech in 2018 it was suggested that a FAQ as well as the ability to search the mailing list would be useful.
Such a functionality should be added to the ET wiki and ET website respectively.
Something like this: {{{ <form action="https://www.google.com/search" class="searchform" method="get" name="searchform" target="_blank"> <input name="sitesearch" type="hidden" value="example.com"> <input autocomplete="on" class="form-control search" name="q" placeholder="Search in example.com" required="required" type="text"> <button class="button" type="submit">Search</button> </form> }}} seems to work and one can limit to particular lists by setting site to something like {{{site:lists.einsteintoolkit.org/pipermail/users}}}