search functionality for web page

It would be nice if the home page included a search box. Is this something
we can provide?

    Vern

If it's fine to just point to Google with a "+site:bro-ids.org" query,
then I think yes. I don't really want to set up our own search system
though (because of work it takes and risk of getting something wrong).

Robin

We should probably use the google custom search engine thing. We can make it look like our site apparently, but it's easy to make it search a large set of sites. Here's the list of URLs that I think we should have a search include...

  http://twitter.com/#!/Bro_IDS
  http://blog.bro-ids.org/
  http://twitter.com/#!/search/%23BroIDS
  http://mailman.icsi.berkeley.edu/mailman/listinfo/bro
  http://git.bro-ids.org
  http://tracker.bro-ids.org
  http://www.bro-ids.org
      
Any others?

  .Seth

Good idea, I'll look into that.

Robin