diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmTNrhkVQ26GBLaLD5-zNuEiR8syTj4mI8 <Juan@web> | 2014-07-02 23:55:58 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-07-02 23:55:58 +0000 |
| commit | a67404e0ebff8cf81781ed2d117cd83138591c81 (patch) | |
| tree | cf50fd16032635f30862b1d8e31481a6d597b4bb | |
| parent | 435ada85356c7d7976cd2eea26a977216a8da48d (diff) | |
| -rw-r--r-- | doc/forum/use_case:_unique_indentifier_of_objets___40__doi_like__41__.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/forum/use_case:_unique_indentifier_of_objets___40__doi_like__41__.mdwn b/doc/forum/use_case:_unique_indentifier_of_objets___40__doi_like__41__.mdwn index f46ced908..76f03452d 100644 --- a/doc/forum/use_case:_unique_indentifier_of_objets___40__doi_like__41__.mdwn +++ b/doc/forum/use_case:_unique_indentifier_of_objets___40__doi_like__41__.mdwn @@ -8,7 +8,9 @@ I see several options: 4. Use some sort of document management system (DMS) Options 1 and 2 are impractical for several reasons. Option 4 usually requires that your files are inside the DMS. -So my question is. Do you think this is doable with git-annex? +So my questions are: + +* Do you think this is doable with git-annex? * Is there an easy way to ask it: give me the document with this index? * I think the best answer for this question is: git annex find --include '*' --format='${key} ${file}' | grep <KEY> * And conversely, how do I find the key of a certain document? |