From 21cad7facbc633e8c6a51e8966bf669e0fc79319 Mon Sep 17 00:00:00 2001
From: btatu <btatu+gitit@evolix.fr>
Date: Fri, 20 Jul 2018 14:06:12 +0200
Subject: [PATCH] tips to define DNS server for firefox

---
 TipsFirefox.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/TipsFirefox.md b/TipsFirefox.md
index 5aea09f2..fbf6fbc7 100644
--- a/TipsFirefox.md
+++ b/TipsFirefox.md
@@ -50,6 +50,15 @@ Note 2 : au lieu de télécharger le plugin, on peut installer le paquet pepperf
 $ firefox --ProfileManager
 ~~~
 
+## Force l'usage d'un serveur DNS externe 
+
+Depuis la barre de recherche : about:config
+
+Puis définir cette option :
+
+~~~
+network.dns.localDomains = 9.9.9.9
+~~~
 
 ## Forcer l'affichage en punycode des noms de domaines internationalisés