There was an error while loading. Please reload this page.
git worktree
1 parent f3c2648 commit e64974eCopy full SHA for e64974e
tools/entrypoint.sh
@@ -39,7 +39,7 @@ wdir="$(pwd)"
39
if ! su-exec "$USERID" "$BASHPATH" -c "test -w $wdir && test -r $wdir"; then
40
echo_error_and_exit "uid:gid $USERID lacks permissions to $wdir/"
41
fi
42
-wdirgitindex="$wdir/.git/index"
+wdirgitindex="$(git rev-parse --git-dir 2>&1)/index" || echo_error_and_exit "${wdirgitindex%/index}"
43
if ! su-exec "$USERID" "$BASHPATH" -c "test -w $wdirgitindex && test -r $wdirgitindex"; then
44
echo_error_and_exit "uid:gid $USERID cannot write to $wdirgitindex"
45
0 commit comments