mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

further comment

Browse source
This commit is contained in:
Joey Hess 2018-11-19 15:46:40 -04:00
parent 9127fe4821
commit 3c8f0d1e1b
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
doc/todo/add_prefix_option_to_export/comment_2_c2df40a099db6059b28c79259b689da6._comment Normal file
View file

@ -0,0 +1,14 @@
[[!comment format=mdwn
username="joey"
subject="""comment 2"""
date="2018-11-19T19:40:59Z"
content="""
TBH, an exported tree can contain the same content in two files,
and the export database does contain information to deal with that;
the location log doesn't really need to be modified to support this.
Another way to look at it is that you want to build a larger tree, that
contains two or more trees in subdirectories, and export the larger tree
to the top of the remote. And if you look at this that way, it's
already possible to do what you want using only git commands like `git mktree`.
"""]]