diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2021-05-30 17:46:21 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2021-05-30 17:46:21 -0700 |
| commit | 12e952e684d149628360b6fcdb583be86052f944 (patch) | |
| tree | b7ede146e2d145c9dcdc92a80e1a92d2be869aad /sys/src/cmd/git/merge | |
| parent | 1af2546e96fa96ec5341026dd509c9e4ed54c6db (diff) | |
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.
Diffstat (limited to 'sys/src/cmd/git/merge')
| -rwxr-xr-x | sys/src/cmd/git/merge | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/src/cmd/git/merge b/sys/src/cmd/git/merge index 5517a3924..6e9791914 100755 --- a/sys/src/cmd/git/merge +++ b/sys/src/cmd/git/merge @@ -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} |