]> gitweb.fluxo.info Git - scripts.git/commitdiff
Minor fix
authorSilvio Rhatto <rhatto@riseup.net>
Tue, 15 Jan 2013 19:27:58 +0000 (17:27 -0200)
committerSilvio Rhatto <rhatto@riseup.net>
Tue, 15 Jan 2013 19:27:58 +0000 (17:27 -0200)
commit

diff --git a/commit b/commit
index 3cf9980f646846235ef06335ad79e6f27273944a..f826275b20ee7e0428423f9cd93ab6f5a0f89807 100755 (executable)
--- a/commit
+++ b/commit
@@ -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