User:Prime.mover/Technical Notes

Search PW via Google
After a tedious trial and error procedure I have finally found how to simply search PW through Google (thus, without having to type the tedious 'site:proofwiki.org' every time).

Let me point out how to do this in three commonly used browsers.

Chrome:
 * Go to chrome://settings/searchEngines
 * Add a new search engine: name is up to you, as is the keyword (I use pw), the URL is http://www.google.com/search?hl=en&as_sitesearch=proofwiki.org&q=%s

Firefox:
 * Go to Main > Bookmarks > Show all bookmarks
 * Make a new bookmark: name up to you, as is the keyword (I use pw), URL is again http://www.google.com/search?hl=en&as_sitesearch=proofwiki.org&q=%s

Opera:
 * Go to Main > Bookmarks > Manage bookmarks
 * Make a new bookmark: name and nickname (i.e., keyword) as above, URL again http://www.google.com/search?hl=en&as_sitesearch=proofwiki.org&q=%s

In all three browsers, typing eg. pw surjective will let Google search for occurrences of surjective on PW; IMO this is a better (more accurate) search feature than ProofWiki's own (except for brand new pages, which may not have been indexed yet). Hopefully, this helps y'all to find stuff on PW faster. --Lord_Farin 18:23, 19 April 2012 (EDT)