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 fe9c6ff52432fd66a8adc97f1a518c32ea36b026..84f3fdfe87d84737d093809d6f1e08bce20c57b1 100644 (file)
--- a/doc/user/api-tokens.md
+++ b/doc/user/api-tokens.md
@@ -1,7 +1,7 @@
 ---
 layout: default
 navsection: userguide
-title: API authentication
+title: Getting an API token
 navorder: 1
 ---
 
@@ -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 ORVOS_API_TOKEN=unvz7ktg5p5k2q4wb9hpfl9fkge96rvv1j1gjpiq
+    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