diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2014-04-18 02:36:25 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2014-04-18 02:36:25 -0300 |
| commit | 187df2100ee28a03ee164c6baf9b613d9bab90aa (patch) | |
| tree | 215b05c16c2aea904e9848cea96717b8e8ab52cb | |
| parent | af93ab6f84fc034c03393defec9287f55007b3cb (diff) | |
| download | scripts-187df2100ee28a03ee164c6baf9b613d9bab90aa.tar.gz scripts-187df2100ee28a03ee164c6baf9b613d9bab90aa.tar.bz2 | |
Use 'git config --local'
| -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 --local user.email`" ] || [ -z "`git config --local 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 |