diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmwjQzWgiD7_I3zw-_91rMRf_6qoThupis <Mike@web> | 2014-10-09 18:02:59 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-10-09 18:02:59 +0000 |
| commit | bf46e99610542b045505deb291254ca2f97fbd3b (patch) | |
| tree | dbde464b5e77df60de0b8bd81d3785ed6db1ea25 | |
| parent | d98417825069df767571ee71c60cdc9728786a53 (diff) | |
Added a comment
| -rw-r--r-- | doc/tips/How_To_Permanently_Delete_a_File__63__/comment_2_d13b456c5b3990082c16e78a50f5db91._comment | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/tips/How_To_Permanently_Delete_a_File__63__/comment_2_d13b456c5b3990082c16e78a50f5db91._comment b/doc/tips/How_To_Permanently_Delete_a_File__63__/comment_2_d13b456c5b3990082c16e78a50f5db91._comment new file mode 100644 index 000000000..959ac282f --- /dev/null +++ b/doc/tips/How_To_Permanently_Delete_a_File__63__/comment_2_d13b456c5b3990082c16e78a50f5db91._comment @@ -0,0 +1,14 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawmwjQzWgiD7_I3zw-_91rMRf_6qoThupis" + nickname="Mike" + subject="comment 2" + date="2014-10-09T18:02:59Z" + content=""" +Tried another approach: + +``git annex unannex <file>; rm <file>`` + +This does not delete the original, and it only works if you do ``git annex get <file>`` first. It won't update the remote, unless you cd into that remote and run ``git annex sync`` there. After that there is the illusion the file is done, but its content is still in .git/annex/objects. In my test case I could vim into the file in question in the objects directory and it was still there. + +So ``git annex drop`` deletes both copies of duplicate files and so is too dangerous to use and ``git annex unannex`` doesn't delete the file anywhere. I am a little stuck here, what do I do? +"""]] |