git/fs: move mount point to $repo/.git/fs

Moving the mount point to within the repo
directory means that we can have multiple
git repos mounted at once with no conflict.
This commit is contained in:
Ori Bernstein 2021-05-30 17:46:21 -07:00
parent 1af2546e96
commit 12e952e684
14 changed files with 54 additions and 36 deletions

View file

@ -3,9 +3,9 @@ rfork ne
. /sys/lib/git/common.rc
fn merge{
ourbr=/mnt/git/object/$1/tree
basebr=/mnt/git/object/$2/tree
theirbr=/mnt/git/object/$3/tree
ourbr=$gitfs/object/$1/tree
basebr=$gitfs/object/$2/tree
theirbr=$gitfs/object/$3/tree
all=`$nl{{git/query -c $1 $2; git/query -c $2 $3} | sed 's/^..//' | \
subst -g '^('$ourbr'|'$basebr'|'$theirbr')/*' | sort | uniq}