diff options
author | Joey Hess <joey@kitenet.net> | 2012-12-13 16:09:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-12-13 16:09:25 -0400 |
commit | 7e74a9da9ed7972a8de1f94b5feaa7c8941295be (patch) | |
tree | f1a5c6d73dc83d47ed2729911c352334da5dbcc1 | |
parent | 71c5aaefa85da8779a35ff33aff5bef37247faed (diff) |
update
-rw-r--r-- | doc/design/assistant/desymlink.mdwn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/design/assistant/desymlink.mdwn b/doc/design/assistant/desymlink.mdwn index 2f49c8304..457d7268d 100644 --- a/doc/design/assistant/desymlink.mdwn +++ b/doc/design/assistant/desymlink.mdwn @@ -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 mapping needs to be updated. * 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 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 |