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/man/4 | |
| 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/man/4')
| -rw-r--r-- | sys/man/4/gitfs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/man/4/gitfs b/sys/man/4/gitfs index 00c68edc3..7ba097ad0 100644 --- a/sys/man/4/gitfs +++ b/sys/man/4/gitfs @@ -20,7 +20,7 @@ Git/fs serves a file system interface to a git repository in the current directory. This file system provides a read-only view into the repository contents. By default, it is mounted on -.B /mnt/git. +.B $repo/.git/fs. It does not cache mutable data, so any changes to the git repository will immediately be reflected in git/fs. .PP @@ -83,7 +83,7 @@ The git repository being expected. .B .git/HEAD A reference to the current HEAD. Used to populate -.B /mnt/git/HEAD +.B $repo/.git/fs/HEAD .TP .git/config The per-repository configuation for git tools. |