From ae14ff25e6d267da114bc8dbe24c69c2fdb9dae0 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sun, 5 Jun 2022 19:34:29 +0200 Subject: [PATCH] add some firefox configs --- .mozilla/firefox/user.js | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.mozilla/firefox/user.js b/.mozilla/firefox/user.js index a452160..9cb2dd2 100644 --- a/.mozilla/firefox/user.js +++ b/.mozilla/firefox/user.js @@ -8,3 +8,14 @@ user_pref("devtools.responsive.viewport.height", 760); // taille de l'inspecteur user_pref("devtools.responsive.viewport.width", 340); // taille de l'inspecteur user_pref("devtools.toolbox.host", "right"); // position de l'inspecteur user_pref("dom.security.https_only_mode", true); // HTTPS only +user_pref("browser.download.always_ask_before_handling_new_types", true); // demander s'il faut ouvrir ou enregistrer les fichiers +user_pref("browser.search.hiddenOneOffs", "Google,Amazon.fr,Bing,DuckDuckGo,eBay,Qwant,Wikipédia (fr)"); // cacher les boutons navigateurs de la barre URL lors d'une recherche +user_pref("browser.urlbar.placeholderName", "DuckDuckGo"); // moteur de recherche par défaut +user_pref("browser.urlbar.placeholderName.private", "DuckDuckGo"); // moteur de recherche par défaut en navigation privée +user_pref("browser.urlbar.shortcuts.bookmarks", false); // cacher le bouton marque-pages de la barre URL lors d'une recherche +user_pref("browser.urlbar.shortcuts.history", false); // cacher le bouton historique de la barre URL lors d'une recherche +user_pref("browser.urlbar.shortcuts.tabs", false); // cacher le bouton onglets de la barre URL lors d'une recherche +user_pref("browser.warnOnQuitShortcut", false); // ne pas alerter lorsque l'on quitte plusieurs onglets +user_pref("datareporting.healthreport.uploadEnabled", false); // télémétrie +user_pref("extensions.formautofill.creditCards.enabled", false); // pas d'auto-complétion de la carte de crédit +user_pref("media.eme.enabled", true); // lire le contenue protégé par des DRM