diff options
| author | Mark H Weaver <mhw@netris.org> | 2022-09-18 17:21:42 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2022-09-18 17:25:13 -0400 |
| commit | 448beb77c653eb3b7b7649d8bcd8a1704c3144c6 (patch) | |
| tree | 58226c8231d786c31d2ac2ecac70221bfb16b815 /data/extensions/torproxy@icecat.gnu/settings.html | |
| parent | e77a1fa25ac66250e88d5d9901a2ba670edb94cc (diff) | |
Remove Tor integration support, pending further discussion.
For rationale and discussion, see:
<https://lists.gnu.org/archive/html/gnuzilla-dev/2022-09/msg00002.html>
* data/extensions/torproxy@icecat.gnu: Remove directory.
* data/settings.js: Remove IceCat-specific customizations to
"network.dns.blockDotOnion" and
"network.http.referer.hideOnionSource" settings.
Diffstat (limited to 'data/extensions/torproxy@icecat.gnu/settings.html')
| -rw-r--r-- | data/extensions/torproxy@icecat.gnu/settings.html | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/data/extensions/torproxy@icecat.gnu/settings.html b/data/extensions/torproxy@icecat.gnu/settings.html deleted file mode 100644 index 1fe61c9..0000000 --- a/data/extensions/torproxy@icecat.gnu/settings.html +++ /dev/null @@ -1,63 +0,0 @@ -<!DOCTYPE html>
-<html>
- <head>
- <meta charset="utf-8">
- <link rel="stylesheet" href="settings.css" />
- </head>
- <body>
- <form>
- <table class="configtable">
- <tr>
- <th colspan="2">
- Proxy configuration
- </th>
- </tr>
- <tr>
- <td colspan="2">The default values to use with a Tor service are:<br/>type=socks5, host=127.0.0.1, port=9050, RemoteDNS=true.<br/>The Tor service needs to be installed and running, separately of IceCat.</td>
- </tr>
- <tr>
- <td>Type</td>
- <td>
- <select id="type">
- <option value="direct" selected>Select proxy type</option>
- <option value="http">HTTP</option>
- <option value="https">HTTPS</option>
- <option value="socks">SOCKS5</option>
- <option value="socks4">SOCKS4</option>
- </select>
- </td>
- </tr>
- <tr>
- <td>Host</td>
- <td><input type="text" id="host"></td>
- </tr>
- <tr>
- <td>Port</td>
- <td><input type="number" min="1" max="65535" id="port"></td>
- </tr>
- <tr id="usernamerow">
- <td>Username (optional)</td>
- <td><input type="text" id="username"></td>
- </tr>
- <tr id="passwordrow">
- <td>Password (optional)</td>
- <td><input type="password" id="password"></td>
- </tr>
- <tr id="dnsrow">
- <td>Remote DNS</td>
- <td><input type="checkbox" id="dns"></td>
- </tr>
- <tr>
- <th colspan="2">
- General settings
- </th>
- </tr>
- <tr id="skiplocalrow">
- <td>Don't use proxy for hosts we can detect as local (e.g. LAN IPs)</td>
- <td><input type="checkbox" id="skiplocal"></td>
- </tr>
- </table>
- </form>
- <script src="settings.js"></script>
- </body>
-</html>
|