diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-29T00·01+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-29T00·01+0000 |
| commit | 059af12bea03eef4616cbf47fa60890c14e9049a (patch) | |
| tree | fa5ccbcef78bb4512b1d0b77f41406cdcb035366 | |
| parent | ef5eda4015a1f9013dbe4fb3fd4e3b4d6281cf28 (diff) | |
Experiment with user /etc/hosts
I have not been able to get this to work yet, but I hear that it is possible to maintain a user-specific /etc/hosts.
| -rw-r--r-- | tools/website-blocker/.envrc | 2 | ||||
| -rw-r--r-- | tools/website-blocker/hosts | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/tools/website-blocker/.envrc b/tools/website-blocker/.envrc new file mode 100644 index 000000000000..81755b513b21 --- /dev/null +++ b/tools/website-blocker/.envrc @@ -0,0 +1,2 @@ +source_up +export HOSTALIASES="$(realpath ./hosts)" diff --git a/tools/website-blocker/hosts b/tools/website-blocker/hosts new file mode 100644 index 000000000000..0cf45e59584f --- /dev/null +++ b/tools/website-blocker/hosts @@ -0,0 +1 @@ +127.0.0.1 wsj.com www.wsj.com \ No newline at end of file |