Difference between revisions of "User talk:Pascal"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (New page: == Google Search Extension == Carine, I feel the change of search engine is good. However, by using googlesearch, we depend of the google crawl frequency. For example, the lats 5 days chan...)
 
imported>Pascal
(→‎Search extensions: new section)
Line 1: Line 1:
 
== Google Search Extension ==
 
== Google Search Extension ==
 
Carine, I feel the change of search engine is good. However, by using googlesearch, we depend of the google crawl frequency. For example, the lats 5 days change are not indexed, as you can see at the top of [http://209.85.229.132/search?hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=dol&q=cache%3Ahttp%3A%2F%2Fwiki.event-b.org%2Findex.php%2FMain_Page&aq=f&oq=&aqi= google cache page]. [[User:Mathieu|mathieu]] 16:05, 21 September 2009 (UTC)
 
Carine, I feel the change of search engine is good. However, by using googlesearch, we depend of the google crawl frequency. For example, the lats 5 days change are not indexed, as you can see at the top of [http://209.85.229.132/search?hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=dol&q=cache%3Ahttp%3A%2F%2Fwiki.event-b.org%2Findex.php%2FMain_Page&aq=f&oq=&aqi= google cache page]. [[User:Mathieu|mathieu]] 16:05, 21 September 2009 (UTC)
 +
 +
== Search extensions ==
 +
 +
The default search function of the Wiki often did not get a result, and that's why the WP9 parterns have asked the system administrator to install a search enhancement [http://www.mediawiki.org/wiki/Category:Search_extensions  extension] for Mediawiki.
 +
 +
Some extensions are built on top of the Wiki (see Extension:RigorousSearch), some replace the search method (see LuceneSearch or SphinxSearch), and some simply use Google (see GoogleSiteSearch).
 +
 +
The Google Site Search seemed to be a good compromise, because of its well-known search syntax, and because it gives accurate search results.
 +
 +
Which extension would you suggest?

Revision as of 16:41, 21 September 2009

Google Search Extension

Carine, I feel the change of search engine is good. However, by using googlesearch, we depend of the google crawl frequency. For example, the lats 5 days change are not indexed, as you can see at the top of google cache page. mathieu 16:05, 21 September 2009 (UTC)

Search extensions

The default search function of the Wiki often did not get a result, and that's why the WP9 parterns have asked the system administrator to install a search enhancement extension for Mediawiki.

Some extensions are built on top of the Wiki (see Extension:RigorousSearch), some replace the search method (see LuceneSearch or SphinxSearch), and some simply use Google (see GoogleSiteSearch).

The Google Site Search seemed to be a good compromise, because of its well-known search syntax, and because it gives accurate search results.

Which extension would you suggest?