From 217c330e0bce85b81870d8327287709ab9f55c27 Mon Sep 17 00:00:00 2001
From: Jan David Mol <mol@astron.nl>
Date: Thu, 14 Oct 2021 08:20:55 +0000
Subject: [PATCH] Updated instructions

---
 Jupyter_Pages/README.md | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/Jupyter_Pages/README.md b/Jupyter_Pages/README.md
index c5fffd7..4eddc85 100644
--- a/Jupyter_Pages/README.md
+++ b/Jupyter_Pages/README.md
@@ -25,4 +25,16 @@ Git commits require you to state your identity, as to know who did this commit.
 
 If you don't provide your name and e-mail, ``git`` will tempt you to configure the name and email permanently. Doing so means all checkins from this system will be done under your name, however.
 
-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``.
+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
+    export GIT_AUTHOR_NAME="Your Name"
+    export GIT_AUTHOR_EMAIL="you@astron.nl"
+    export GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME"
+    export GIT_COMMITTER_EMAIL="$GIT_AUTHOR_EMAIL"
+    HEREDOC
+
+    # before committing just do this
+    source ~/myname_creds.sh
+
-- 
GitLab