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/url-blocker/.envrc | |
| 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/url-blocker/.envrc')
| -rw-r--r-- | tools/url-blocker/.envrc | 1 |
1 files changed, 0 insertions, 1 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)" |