query: How to set use tor DNS as the default DNS?
positive_passages.docid: 158046
positive_passages.text: resolving DNS via Tor
negative_passages.docid: 153848
negative_passages.text: change the static IP address to domain name
negative_passages.docid: 21458
negative_passages.text: Using dnsmasq to resolve all hosts to the same address
negative_passages.docid: 23056
negative_passages.text: How to install Tor?
negative_passages.docid: 73244
negative_passages.text: What DNS servers am I using?
negative_passages.docid: 76838
negative_passages.text: How do I change my system's IP address?
negative_passages.docid: 138141
negative_passages.text: Private IP address in public DNS
negative_passages.docid: 56381
negative_passages.text: How to set Google Chrome as the default browser?
negative_passages.docid: 138820
negative_passages.text: How do I enter a strong (long) DKIM key into DNS?
negative_passages.docid: 92155
negative_passages.text: How to override the DHCP-provided nameserver?
negative_passages.docid: 157509
negative_passages.text: How to configure local DNS lookup in Ubuntu 16.10?
negative_passages.docid: 64357
negative_passages.text: DNS Resolution for example.com - Can you explain?
negative_passages.docid: 43622
negative_passages.text: How can I configure my server so that my domain points to it?
negative_passages.docid: 77686
negative_passages.text: How to set default route with netplan, Ubuntu 18.04 server, 2 NIC
negative_passages.docid: 147966
negative_passages.text: Can i set 443 as default web port which means it can only be accessed via https and no port 80
negative_passages.docid: 138498
negative_passages.text: How do I permanently assign an IP address with DHCP?
negative_passages.docid: 93388
negative_passages.text: How do I filter out addresses using HTTPS for a D-Link router?