diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-02-09 13:14:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-02-09 13:14:29 -0400 |
| commit | 3b90fa361497fccac882d01ccfb37f99ec29b6f9 (patch) | |
| tree | fac9622eb27385b18c5e05990cdb3a7d2cdf196d /doc | |
| parent | 512c26551ee7b66f3c14c487e151d2f74928681e (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment b/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment new file mode 100644 index 000000000..eb0903def --- /dev/null +++ b/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2015-02-09T17:09:43Z" + content=""" +`git annex drop` removes the file's content from the local repository. +It does not affect other repositories, such as in your case the server. +You could use `git annex drop --from origin` to remove the file from +the origin repository. + +If `git annex unused` is not listing the deleted file as unused, there +must be some git tag or branch that still refers to it. + +Also, `git annex dropunused` won't remove the last copy of a file unless you pass +`--force` +"""]] |