diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-02-22 16:34:04 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-02-22 16:34:04 -0300 |
commit | 280316edd6253a6a57dd762f0a4f9d189b571ddd (patch) | |
tree | 055fbe0837d46bee88df672f61865d842a76030f | |
parent | 1d959221a36bbd159196915a984e7fa9502f44b9 (diff) | |
download | scripts-280316edd6253a6a57dd762f0a4f9d189b571ddd.tar.gz scripts-280316edd6253a6a57dd762f0a4f9d189b571ddd.tar.bz2 |
Fix commit
-rwxr-xr-x | commit | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -88,7 +88,11 @@ function git_push { function git_user { if ! grep -q "^\[user\]" $GIT_FOLDER/.git/config; then if echo $ARGS | grep -q -- '--config'; then - grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config + if grep -q "^\[user\]" $HOME/.gitconfig; then + grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config + else + grep -A 2 "^\[user\]" $HOME/.custom/gitconfig >> $GIT_FOLDER/.git/config + fi else echo "No user configuration section found in the repository." |