rename repo to git-repo

This commit is contained in:
Hui Yiqun 2016-12-11 19:55:48 +08:00
parent c42b7c54d1
commit f29c49d29c

View File

@ -14,7 +14,7 @@ function update_repo_git() {
} }
function checkout_repo() { function checkout_repo() {
git -C $TUNASYNC_WORKING_DIR show HEAD:repo > $TUNASYNC_WORKING_DIR/repo git -C $TUNASYNC_WORKING_DIR show HEAD:repo > $TUNASYNC_WORKING_DIR/git-repo
} }
if [[ ! -f "$TUNASYNC_WORKING_DIR/HEAD" ]]; then if [[ ! -f "$TUNASYNC_WORKING_DIR/HEAD" ]]; then