diff --git a/Jupyter_Pages/README.md b/Jupyter_Pages/README.md index c5fffd7d878c8aa9b5284bb568fb13c7011f735f..4eddc85e723bc5b5a3a326a945f59387ddf71420 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 +