path: root/doc/documentation
diff options
authorChristian Grothoff <>2018-03-08 14:24:32 +0100
committerChristian Grothoff <>2018-03-08 14:24:32 +0100
commit5c81865455a2d6e42838047e86a19c4a2441a28e (patch)
tree39fe7100f3504201045ab040abb17c4011fd7b45 /doc/documentation
parent17f98215f27d61d966cb1d7a11197e102b785d16 (diff)
modernize manual for current browsers
Diffstat (limited to 'doc/documentation')
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index 4b3bf336e..8ce8b52e2 100644
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -417,14 +417,18 @@ in the menu, and then select the "Advanced" tab in the dialog
and then "Network":
Here, select "Settings..." to open the proxy settings dialog.
-Select "Manual proxy configuration" and enter "localhost"
-with port 7777 under SOCKS Host. Select SOCKS v5 and then push "OK".
+Select "Manual proxy configuration" and enter @code{localhost}
+with port 7777 under SOCKS Host. Furthermore, set the
+checkbox ``Proxy DNS when using SOCKS v5'' at the bottom of
+the dialog. Finally, push "OK".
You must also go to about:config and change the
@code{browser.fixup.alternate.enabled} option to @code{false},
otherwise the browser will autoblunder an address like
@code{@uref{http://www.gnu/, www.gnu}} to
+@code{@uref{,}}. If you want
+to resolve ``@'' in your own TLDs, you must additionally
+set @code{browser.fixup.dns_first_use_for_single_words} to @code{true}.
After configuring your browser, you might want to first confirm that it
continues to work as before. (The proxy is still experimental and if you