diff options
authorng0 <>2017-09-07 13:51:51 +0000
committerng0 <>2017-09-07 13:51:51 +0000
commit72ca24753b37fef6afdf6f40fff5186b12585b18 (patch)
parentd6fee7e016217462627b02ec7561c7696ed68402 (diff)
doc: chapters/user: Fix a typo.
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"}