update dev job docs

[arvados.git] / doc / user / index.md

diff --git a/doc/user/index.md b/doc/user/index.md
index 7e6f3ddc188e14ae9a20d8ef1505651fdf384029..0c840334ba80e3124d6a45b906ffd012229b59fa 100644 (file)
--- a/doc/user/index.md
+++ b/doc/user/index.md
@@ -38,12 +38,7 @@ Technically you can make all API calls using a generic web client like
 [curl](http://curl.haxx.se/docs/) but you will have a more enjoyable
 experience with the Arvados CLI client.
 
-    echo "deb http://apt.arvados.org/apt precise main contrib non-free" \
-      | sudo tee -a /etc/apt/sources.list.d/arvados.list
-    wget -q http://apt.arvados.org/53212765.key -O- \
-      | sudo apt-key add -
-    sudo apt-get update
-    sudo apt-get install arvados-cli
+See [command line SDK](sdk-cli.html) for installation instructions.
 
 ### Request a virtual machine
 
@@ -52,6 +47,6 @@ know about [screen](http://www.gnu.org/software/screen/).
 
 In order to get access to an Arvados VM, you need to:
 
-1. Upload an SSH public key ([learn how](ssh-keys.html))
+1. Upload an SSH public key ([learn how](ssh-access.html))
 1. Request a new VM (or access to a shared VM)