diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-15 17:29:09 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-15 17:29:09 -0200 |
commit | c6dc5ab0be8f47179aacd545647f40fd9c31a0cd (patch) | |
tree | 34b35d1fa71b82babfd09d0d986716dd050dca95 | |
parent | e611f0765fa1ba434ecae80f08342f4a31384360 (diff) | |
download | scripts-c6dc5ab0be8f47179aacd545647f40fd9c31a0cd.tar.gz scripts-c6dc5ab0be8f47179aacd545647f40fd9c31a0cd.tar.bz2 |
Cosmetic change
-rwxr-xr-x | commit | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -97,6 +97,8 @@ function git_user { if [ -e "$HOME/.gitconfig" ]; then echo "You should try to use your default setting:" + echo "" + if [ "$GIT_FOLDER" == "$(pwd)" ]; then echo "cat <<EOF >> .git/config" else |