make ET mailing lists searchable

[Roland Haas]

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

[Roland Haas]

I have added such a search button (though one can leave out the actual "Search" button if desired) to https://www.einsteintoolkit.org/support.html

Please have a look and comment.

[Steven R. Brandt]

Yes, this is reasonable. Maybe clarify that the search is for the mailing list.

Would it make sense to also have the ability to search the website?