From 79e07d250671f4253084bf68034b671e2a0aae55 Mon Sep 17 00:00:00 2001 From: btatu Date: Tue, 21 Aug 2018 17:31:39 +0200 Subject: [PATCH] TipsFirefox:: localDomains en 127.0.0.1 pour utiliser le fichier hosts local --- TipsFirefox.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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`