diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-04-17 20:36:26 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-04-17 20:36:26 -0300 |
commit | af93ab6f84fc034c03393defec9287f55007b3cb (patch) | |
tree | 944ffe47a854b394e2abaf3197ccf77a6272a8ab | |
parent | 99f2f11436e2e84f8fafb22cc66e1bdd8047d903 (diff) | |
download | scripts-af93ab6f84fc034c03393defec9287f55007b3cb.tar.gz scripts-af93ab6f84fc034c03393defec9287f55007b3cb.tar.bz2 |
Commit: minor fix
-rwxr-xr-x | commit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -88,7 +88,7 @@ function git_push { # Check user information function git_user { - if [ -z "`git config user.email`" ] && [ -z "`git config user.name`" ]; then + if [ -z "`git config user.email`" ] || [ -z "`git config user.name`" ]; then if echo $ARGS | grep -q -- '--config'; then if grep -q "^\[user\]" $HOME/.gitconfig; then grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config |