fix example ssh command

[arvados.git] / doc / user / api-tokens.md

diff --git a/doc/user/api-tokens.md b/doc/user/api-tokens.md
index 582b3d507c515e787419073fe6f1c325e610b157..84f3fdfe87d84737d093809d6f1e08bce20c57b1 100644 (file)
--- a/doc/user/api-tokens.md
+++ b/doc/user/api-tokens.md
@@ -10,13 +10,20 @@ navorder: 1
 Open a browser and point it to the Workbench URL for your site. It
 will look something like this:
 
-`https://workbench.a123z.arvados.org/`
+`https://workbench.{{ site.arvados_api_host }}/`
 
 Log in, if you haven't done that already.
 
 Click the "API tokens" link.
 
-Copy an API token and set an environment variable in your terminal
+Copy an API token and set environment variables in your terminal
 session like this.
 
     export ARVADOS_API_TOKEN=unvz7ktg5p5k2q4wb9hpfl9fkge96rvv1j1gjpiq
+    export ARVADOS_API_HOST={{ site.arvados_api_host }}
+
+If you are using a local development server with a self-signed
+certificate, you might need to bypass certificate verification. Don't
+do this if you are using a production service.
+
+    export ARVADOS_API_HOST_INSECURE=yes