update
This commit is contained in:
parent
7303774735
commit
64993f64bf
1 changed files with 1 additions and 0 deletions
|
@ -61,6 +61,7 @@ is converted to a real file when it becomes present.
|
||||||
can map to multiple files. And that when a file is deleted or moved, the
|
can map to multiple files. And that when a file is deleted or moved, the
|
||||||
mapping needs to be updated.
|
mapping needs to be updated.
|
||||||
* May need a reverse mapping, from files in the tree to keys? TBD
|
* May need a reverse mapping, from files in the tree to keys? TBD
|
||||||
|
(Currently, getting by looking up symlinks using `git cat-file`)
|
||||||
* The existing watch code detects when a file gets closed, and in this
|
* The existing watch code detects when a file gets closed, and in this
|
||||||
mode, it could be a new file, or a modified file, or an unchanged file.
|
mode, it could be a new file, or a modified file, or an unchanged file.
|
||||||
For a modified file, can compare mtime, size, etc, to see if it needs
|
For a modified file, can compare mtime, size, etc, to see if it needs
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue