Updated instructions

Jupyter_Pages/README.md

@@ -28,7 +28,7 @@ If you don't provide your name and e-mail, ``git`` will tempt you to configure t
 To make the above easier, you could put the ``export`` commands in a personal ``myname.sh`` file which you then run in your shell using ``source myname.sh`` before running ``git commit``:
 
     # do this once
-    echo > ~/myname_creds.sh <<HEREDOC
+    cat > ~/myname_creds.sh <<HEREDOC
     export GIT_AUTHOR_NAME="Your Name"
     export GIT_AUTHOR_EMAIL="you@astron.nl"
     export GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME"