# HG changeset patch # User Christophe Lincoln # Date 1331626313 -3600 # Node ID cd9a4131e3f966a2f77cf1bf5fce12c634a06260 # Parent aaa2da04cd73628ccd8759214082ea8904190986 Firefox: use DuckDuckGo as default search engine diff -r aaa2da04cd73 -r cd9a4131e3f9 firefox/stuff/bookmarks.html --- a/firefox/stuff/bookmarks.html Mon Mar 12 20:00:22 2012 +0100 +++ b/firefox/stuff/bookmarks.html Tue Mar 13 09:11:53 2012 +0100 @@ -32,7 +32,6 @@

Web applications

Wikipédia Encyclopedia -
Wikia Search
LibriVox Books
Jamendo Music
YouTube Videos diff -r aaa2da04cd73 -r cd9a4131e3f9 firefox/stuff/prefs.js --- a/firefox/stuff/prefs.js Mon Mar 12 20:00:22 2012 +0100 +++ b/firefox/stuff/prefs.js Tue Mar 13 09:11:53 2012 +0100 @@ -12,3 +12,4 @@ user_pref("general.useragent.extra.firefox", "Firefox/8.0.1 (SliTaz GNU/Linux)"); user_pref("intl.charsetmenu.browser.cache", "ISO-8859-1, UTF-8"); user_pref("font.name.serif.x-western", "DejaVu Sans"); +user_pref("browser.search.selectedEngine", "DuckDuckGo (SSL)");