make ET mailing lists searchable

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

Keyword: None

Comments (5)