From e53b703121338d11525934c0790a63399398f35f Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Tue, 23 Jan 2024 12:32:14 -0600 Subject: [PATCH] tools.dns.public: cloudflare has more dns servers --- extra/tools/dns/public/public.factor | 2 ++ 1 file changed, 2 insertions(+) diff --git a/extra/tools/dns/public/public.factor b/extra/tools/dns/public/public.factor index 660f7042b0..a0c9791ed3 100644 --- a/extra/tools/dns/public/public.factor +++ b/extra/tools/dns/public/public.factor @@ -34,6 +34,8 @@ CONSTANT: verizon-dns-servers { : verizon-host ( domain -- ) [ verizon-dns-servers ] dip dns-host ; CONSTANT: cloudflare-dns-servers { "1.1.1.1" "1.0.0.1" } +CONSTANT: cloudflare-dns-servers-no-malware { "1.1.1.2" "1.0.0.2" } +CONSTANT: cloudflare-dns-servers-no-malware-no-adult { "1.1.1.3" "1.0.0.3" } : cloudflare-host ( domain -- ) [ cloudflare-dns-servers ] dip dns-host ; CONSTANT: quad9-dns-servers { "9.9.9.9" "149.112.112.112" } -- 2.34.1