From 7c20c09aae898388c25f5fc01e48a4f3cefb5399 Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Thu, 14 Oct 2021 08:22:04 +0000
Subject: [PATCH] Updated instructions
---
Jupyter_Pages/README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jupyter_Pages/README.md b/Jupyter_Pages/README.md
index 4eddc85..7ab61a5 100644
--- a/Jupyter_Pages/README.md
+++ b/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"
--
GitLab