| # Use this tool to rewrite your .git/remotes/ files into the config. |
| if [ -d "$GIT_DIR"/remotes ]; then |
| echo "Rewriting $GIT_DIR/remotes" >&2 |
| name=$(printf "$f" | tr -c "A-Za-z0-9-" ".") |
| -e "s/^URL:[ ]*\(.*\)$/remote.$name.url \1 ./p" \ |
| -e "s/^Pull:[ ]*\(.*\)$/remote.$name.fetch \1 ^$ /p" \ |
| -e "s/^Push:[ ]*\(.*\)$/remote.$name.push \1 ^$ /p" \ |
| } | while read key value regex; do |
| mv "$GIT_DIR"/remotes "$GIT_DIR"/remotes.old |
| echo "git config $key "$value" $regex" |
| git config $key "$value" $regex || error=1 ;; |