diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-29T19·39+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-29T19·39+0100 |
| commit | 7e41aba8b7bf3b6ef450797739d8069a835a2af6 (patch) | |
| tree | d1113f58598de6f1df841e0d9c704ef20679d7ed /tools | |
| parent | 7d340689ba2ffca99aa166591483b8e662518f2c (diff) | |
Drop attempt to support a user-local /etc/hosts
While the idea of managing the hosts at a per-user level appeals much more to me that running this as root and managing /etc/hosts, I haven't been able to get it to work.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/url-blocker/.envrc | 1 | ||||
| -rw-r--r-- | tools/url-blocker/hosts | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/tools/url-blocker/.envrc b/tools/url-blocker/.envrc index 81755b513b21..1abb058f60d5 100644 --- a/tools/url-blocker/.envrc +++ b/tools/url-blocker/.envrc @@ -1,2 +1 @@ source_up -export HOSTALIASES="$(realpath ./hosts)" diff --git a/tools/url-blocker/hosts b/tools/url-blocker/hosts deleted file mode 100644 index 0cf45e59584f..000000000000 --- a/tools/url-blocker/hosts +++ /dev/null @@ -1 +0,0 @@ -127.0.0.1 wsj.com www.wsj.com \ No newline at end of file |