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