Difference between revisions of "User talk:Pascal"

From Event-B
Jump to navigationJump to search
imported>Pascal
(→‎Search extensions: new section)
imported>Pascal
Line 10: Line 10:
 
The Google Site Search seemed to be a good compromise, because of its well-known search syntax, and because it gives accurate search results.
 
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?
+
Which extension would you suggest?  
 +
 
 +
--[[User:Pascal|cpascal]] 16:44, 21 September 2009 (UTC)

Revision as of 16:44, 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?

--cpascal 16:44, 21 September 2009 (UTC)