reword "change api endpoint to suit" reminder
authorTom Clegg <tom@clinicalfuture.com>
Tue, 9 Jul 2013 21:39:57 +0000 (17:39 -0400)
committerTom Clegg <tom@clinicalfuture.com>
Tue, 9 Jul 2013 21:39:57 +0000 (17:39 -0400)
doc/_includes/notebox-begin.html [new file with mode: 0644]
doc/_includes/notebox-end.html [new file with mode: 0644]
doc/user/ssh-access.md

diff --git a/doc/_includes/notebox-begin.html b/doc/_includes/notebox-begin.html
new file mode 100644 (file)
index 0000000..eb00110
--- /dev/null
@@ -0,0 +1,3 @@
+<div class="alert alert-block alert-info">
+  <button type="button" class="close" data-dismiss="alert">&times;</button>
+  <h4>Note:</h4>
diff --git a/doc/_includes/notebox-end.html b/doc/_includes/notebox-end.html
new file mode 100644 (file)
index 0000000..04f5b84
--- /dev/null
@@ -0,0 +1 @@
+</div>
index 572bc118f169d1daa2127547fd759e70f99cd858..03d762fb6e15a76b2b980850ae1df1e75dcdb1a9 100644 (file)
@@ -33,9 +33,13 @@ button. Then click on 'none' in the public_key column, and copy and paste your p
 
 Click on the checkmark button to save your public key.
 
-### Unix-like systems: set up an ~/.ssh/config snippet for quick ssh access
+### Set up your ssh client (Unix-like systems only)
 
-**Please make sure to replace {{ site.arvados_api_host }} with your arvados hostname in the examples below.**
+{% include notebox-begin.html %}
+
+If you are using an Arvados site other than {{ site.arvados_api_host }}, replace "{{ site.arvados_api_host }}" with the appropriate Arvados API hostname in these examples.
+
+{% include notebox-end.html %}
 
 On your workstation, add the following section to your `~/.ssh/config`
 file: