diff --git a/TipsFirefox.md b/TipsFirefox.md index ed2772c4..62429216 100644 --- a/TipsFirefox.md +++ b/TipsFirefox.md @@ -50,7 +50,7 @@ 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 +## Force l'usage d'un serveur DNS Depuis la barre de recherche : about:config @@ -60,6 +60,8 @@ Puis définir cette option : network.dns.localDomains = 9.9.9.9 ~~~ +Ou mettre 127.0.0.1 pour que le système puisse faire une résolution en local et lire le fichier /etc/hosts. + ## Forcer l'affichage en punycode des noms de domaines internationalisés Aller dans about:config et forcer `network.IDN_show_punycode` à `true`