summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-09-07 13:51:51 +0000
committerng0 <ng0@infotropique.org>2017-09-07 13:51:51 +0000
commit72ca24753b37fef6afdf6f40fff5186b12585b18 (patch)
tree698a39f4fe905b010ed8f256a78cdeed60820aec
parentd6fee7e016217462627b02ec7561c7696ed68402 (diff)
doc: chapters/user: Fix a typo.
-rw-r--r--doc/chapters/user.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/chapters/user.texi b/doc/chapters/user.texi
index 8028f5345..2a8c899b9 100644
--- a/doc/chapters/user.texi
+++ b/doc/chapters/user.texi
@@ -402,7 +402,7 @@ default, this is done as a unprivileged user using @command{gnunet-arm -i gns-pr
Use @command{gnunet-arm -I} as a unprivileged user
to check that the proxy was actually started. (The most common error for why
the proxy may fail to start is that you did not run
-@commande{gnunet-gns-proxy-setup-ca} during installation.) The proxy is a SOCKS5
+@command{gnunet-gns-proxy-setup-ca} during installation.) The proxy is a SOCKS5
proxy running (by default) on port 7777. Thus, you need to now configure your
browser to use this proxy. With Chromium, you can do this by starting the
browser as a unprivileged user using @command{chromium --proxy-server="socks5://localhost:7777"}