diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-19 19:52:50 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-19 19:52:50 -0200 |
commit | cb68828dd0fee670afc296b7ba577cde7aabc176 (patch) | |
tree | bf8a7d016f4217fe2fe7d9c8527376a38e475008 | |
parent | 3fa2db553c803b9d962835a5f6545a63b688ee1c (diff) | |
download | scripts-cb68828dd0fee670afc296b7ba577cde7aabc176.tar.gz scripts-cb68828dd0fee670afc296b7ba577cde7aabc176.tar.bz2 |
TODO
-rwxr-xr-x | commit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -87,6 +87,7 @@ function git_push { # Check user information function git_user { if ! grep -q "^\[user\]" $GIT_FOLDER/.git/config; then + # TODO: remove '--config' from args, otherwise it goes to the commit log if echo $ARGS | grep -q -- '--config'; then grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config else |