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

idea

Browse source
This commit is contained in:
Joey Hess 2018-03-21 03:19:47 -04:00
parent 0ae2662f71
commit 1cf705d416
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/todo/adb_special_remote.mdwn
View file

@ -11,3 +11,6 @@ Use adb push, adb pull, and use adb shell for checkpresent and remove.
Ought to implement [[import tree]] at the same time, so that changes made Ought to implement [[import tree]] at the same time, so that changes made
to files on the android device can be imported back into the git to files on the android device can be imported back into the git
repository. repository.
And, [[export preferred content]] would be a useful feature for
excluding some files from a tree exported to android.

14
doc/todo/export_preferred_content.mdwn Normal file
View file

@ -0,0 +1,14 @@
`git annex export` normally exports all files in the specified tree,
which is generally what the user wants.
But, in some situations, the user may want to export a subset of files,
in a way that can be well expressed by a preferred content expression.
For example, they may want to export .mp3 files but not the .wav
files used to produce those.
Or, export podcasts, but not ones in a "old" directory that have already
been listened to.
It seems doable to make `git annex export` honor whatever
preferred content settings have been configured for the remote.
(And `git annex sync --content` too.)