From: martin f. krafft Date: Thu, 25 Oct 2007 23:33:28 +0000 (+0200) Subject: Fix fake-bare worktree checkout X-Git-Url: https://git.madduck.net/code/myrepos.git/commitdiff_plain/eb0532270369618a99e2495c41dab98315f73d11 Fix fake-bare worktree checkout We have to jump through hoops to check out fake-bare repositories since the target directory probably already exists. Thus, we cheat by telling git-clone *not* to checkout and then read-tree and checkout-index ourselves. We also convert the non-bare repository to a fake bare one by moving stuff around. Probably a bit hackish but this is the best I can do for now. --- diff --git a/mr b/mr index f5c37af..1b73639 100755 --- a/mr +++ b/mr @@ -1104,22 +1104,31 @@ register = if [ -z "$url" ]; then error "cannot determine git url" fi + set -x + local clone_opts add_cmd work_tree suffix case "$repo_type" in - bare|fake-bare) - # this seems like a bare repo as it has no - # worktree. - local work_tree + fake-bare) + # this seems like a fake bare repo and needs a worktree work_tree="$(git-config --get core.worktree)" || : + work_tree="${work_tree%%/}/" if [ ! -d "$work_tree" ]; then - error "git worktree $work_tree does not exist" + error "git worktree '$work_tree' does not exist" fi + clone_opts=" --no-checkout" + add_cmd="$add_cmd && cd $basedir" + add_cmd="$add_cmd && git read-tree HEAD" + add_cmd="$add_cmd && git checkout-index -a --prefix='$work_tree' || :" + add_cmd="$add_cmd; git config core.worktree '$work_tree'" + add_cmd="$add_cmd && mv .git/* . && rmdir .git" suffix=" (with worktree $work_tree)" - mr -c "$MR_CONFIG" config "$PWD" \ - lib="GIT_WORK_TREE=$work_tree; export GIT_WORK_TREE" + ;; + bare) + clone_opts=" --bare" + suffix=" (bare repository)" ;; esac echo "Registering git url: $url in $MR_CONFIG${suffix:-}" - mr -c "$MR_CONFIG" config "$PWD" checkout="git clone $url $basedir" + mr -c "$MR_CONFIG" config "$PWD" checkout="git clone${clone_opts:-} $url $basedir${add_cmd:-}" ;; bzr) url=$(cat .bzr/branch/parent)