git-worktree.sh

#!/bin/bash
set -e

git_option="git -c user.email=non-existence@tuna.tsinghua.edu.cn -c user.name=Noname"

function repo_init() {
        UPSTREAM="$1"
        WORKING_DIR="$2"
        git clone "$UPSTREAM" "$WORKING_DIR"
}

function update_git() {
        UPSTREAM="$1"
        repo_dir="$2"
        cd "$repo_dir"
        echo "==== SYNC $repo_dir START ===="
        git remote set-url origin "$UPSTREAM"
        timeout -s INT 3600 git remote -v update -p
        head=$(git remote show origin | awk '/HEAD branch:/ {print $NF}')
        [[ -n "$head" ]] && echo "ref: refs/heads/$head" > HEAD
        objs=$(find objects -type f | wc -l)
        [[ "$objs" -gt 8 ]] && git repack -a -b -d
        sz=$(git count-objects -v|grep -Po '(?<=size-pack: )\d+')
        total_size=$(($total_size+1024*$sz))
        echo "==== SYNC $repo_dir DONE ===="
}

function checkout_branch() {
        repo_dir="$1"
        work_tree="$2"
        branch="$3"
        echo "Checkout branch $branch to $work_tree"
        if [[ ! -d "$2" ]]; then
                $git_option clone "$repo_dir" --branch "$branch" --single-branch "$work_tree"
        else
                cd "$work_tree"
                $git_option checkout -B "$branch" "origin/$branch"
        fi
}

UPSTREAM_BASE=${TUNASYNC_UPSTREAM_URL}
UPSTREAM_BRANCH=${UPSTREAM_BRANCH:-"master"}
total_size=0

if [[ ! -d "$TUNASYNC_WORKING_DIR/.git" ]]; then
        echo "Initializing"
        repo_init "${UPSTREAM_BASE}" "$TUNASYNC_WORKING_DIR"
fi
update_git "${UPSTREAM_BASE}" "$TUNASYNC_WORKING_DIR/.git"
checkout_branch "$TUNASYNC_WORKING_DIR/.git" "$TUNASYNC_WORKING_DIR" "$UPSTREAM_BRANCH"

echo "Total size is" $(numfmt --to=iec $total_size)