Merge branch '6221-write-trash-list'

[arvados.git] / doc / user / tutorials / tutorial-submit-job.html.textile.liquid

diff --git a/doc/user/tutorials/tutorial-submit-job.html.textile.liquid b/doc/user/tutorials/tutorial-submit-job.html.textile.liquid
index ee93696ac06dc3529d87bf0280978775bb421b3e..a77273763db045473c791c1e8d6dab42cf0c02c3 100644 (file)
--- a/doc/user/tutorials/tutorial-submit-job.html.textile.liquid
+++ b/doc/user/tutorials/tutorial-submit-job.html.textile.liquid
@@ -37,12 +37,14 @@ Cloning into 'tutorial'...</code></pre>
 This will create a Git repository in the directory called @tutorial@ in your home directory. Say yes when prompted to continue with connection.
 Ignore any warning that you are cloning an empty repository.
 
-*Note:* If you are prompted for username and password when you try to git clone using this command, it would mean that git config needs to be updated. Execute the following commands to update your git configuration.
+*Note:* If you are prompted for username and password when you try to git clone using this command, you may first need to update your git configuration. Execute the following commands to update your git configuration.
 
+<notextile>
 <pre>
-git config 'credential.https://git.{{ site.arvados_api_host }}/.username' none
-git config 'credential.https://git.{{ site.arvados_api_host }}/.helper' '!cred(){ cat >/dev/null; if [ "$1" = get ]; then echo password=$ARVADOS_API_TOKEN; fi; };cred'
+<code>~$ <span class="userinput">git config 'credential.https://git.{{ site.arvados_api_host }}/.username' none</span></code>
+<code>~$ <span class="userinput">git config 'credential.https://git.{{ site.arvados_api_host }}/.helper' '!cred(){ cat >/dev/null; if [ "$1" = get ]; then echo password=$ARVADOS_API_TOKEN; fi; };cred'</span></code>
 </pre>
+</notextile>
 
 {% include 'notebox_begin' %}
 For more information about using Git, try