From 1cf705d4166a034aed9b87381a75e7a526d71142 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 21 Mar 2018 03:19:47 -0400 Subject: [PATCH] idea --- doc/todo/adb_special_remote.mdwn | 3 +++ doc/todo/export_preferred_content.mdwn | 14 ++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 doc/todo/export_preferred_content.mdwn diff --git a/doc/todo/adb_special_remote.mdwn b/doc/todo/adb_special_remote.mdwn index 0411e5847c..baf9899084 100644 --- a/doc/todo/adb_special_remote.mdwn +++ b/doc/todo/adb_special_remote.mdwn @@ -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 to files on the android device can be imported back into the git repository. + +And, [[export preferred content]] would be a useful feature for +excluding some files from a tree exported to android. diff --git a/doc/todo/export_preferred_content.mdwn b/doc/todo/export_preferred_content.mdwn new file mode 100644 index 0000000000..4919986697 --- /dev/null +++ b/doc/todo/export_preferred_content.mdwn @@ -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.)