diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-05-11 13:29:14 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-05-11 13:29:14 -0400 |
| commit | b1b7fd133bceccd020c85ade63370d5b92da873f (patch) | |
| tree | 7f0cf3bb8b8ddc1d1967f21d410bd17e9846699d | |
| parent | 7b1e2aff4a515313f503c9d6430e9ca590afc191 (diff) | |
comment
| -rw-r--r-- | doc/todo/export/comment_2_b13f12dd00347114f99fd11d85d236a0._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/todo/export/comment_2_b13f12dd00347114f99fd11d85d236a0._comment b/doc/todo/export/comment_2_b13f12dd00347114f99fd11d85d236a0._comment new file mode 100644 index 000000000..4e394dd9e --- /dev/null +++ b/doc/todo/export/comment_2_b13f12dd00347114f99fd11d85d236a0._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 2""" + date="2017-05-11T17:25:48Z" + content=""" +Note that making `git annex export` need a remote to export to would be +somewhat asymmetric compared to `git annex import` which can operate on any +directory full of files. + +Still, if you want to export to a directory full of files, setting up a +directory special remote before exporting is not too big a pain, probably. + +I suppose the question is whether this asymetricity and complication of +perhaps needing changes to the remote interface for `export` is a price +worth paying to be able to have export upload to lots of sorts of remotes. +"""]] |