diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-15 17:27:58 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-15 17:27:58 -0200 |
commit | e611f0765fa1ba434ecae80f08342f4a31384360 (patch) | |
tree | 3ab24922f6d57c7141af4fe9470391744612a65b | |
parent | 047aa24b29c9355648bdc8633c3face176572adf (diff) | |
download | scripts-e611f0765fa1ba434ecae80f08342f4a31384360.tar.gz scripts-e611f0765fa1ba434ecae80f08342f4a31384360.tar.bz2 |
Minor fix
-rwxr-xr-x | commit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -87,7 +87,7 @@ function git_push { # Check user information function git_user { if ! grep -q "^\[user\]" $GIT_FOLDER/.git/config; then - if echo $ARGS | grep -q '--config'; then + if echo $ARGS | grep -q -- '--config'; then grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config else |