diff options
author | 2014-11-12 21:00:41 +0000 | |
---|---|---|
committer | 2014-11-12 21:00:41 +0000 | |
commit | 8cdec23ccda8da3131ffb0580c0dc477bd190d74 (patch) | |
tree | af1b2f61f8be3e76a3de45fba38a29bf060d022e | |
parent | 48f1e36246bbe40a34d51da2acb4c0e17b12c1a9 (diff) |
Added a comment
-rw-r--r-- | doc/forum/Recovering_deleted_file_in_direct_mode/comment_2_98c01a756c5f2dda28cffa5dd1dea385._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/forum/Recovering_deleted_file_in_direct_mode/comment_2_98c01a756c5f2dda28cffa5dd1dea385._comment b/doc/forum/Recovering_deleted_file_in_direct_mode/comment_2_98c01a756c5f2dda28cffa5dd1dea385._comment new file mode 100644 index 000000000..007160ab2 --- /dev/null +++ b/doc/forum/Recovering_deleted_file_in_direct_mode/comment_2_98c01a756c5f2dda28cffa5dd1dea385._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + subject="comment 2" + date="2014-11-12T21:00:41Z" + content=""" +A new `git annex proxy` command was just added that allows safely running commands like `git revert` in a direct mode repsitory. + +So, you might do: + + rm myfile # oops! + git annex sync + git annex proxy -- git revert HEAD + git annex get myfile + +The sync is needed to commit the deletion, and then that commit gets reverted. Finally, you can use git-annex get to download the file from some other repository that still has a copy. (Assuming you didn't delete the last copy.) +"""]] |