mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comment

Browse source
This commit is contained in:
Joey Hess 2018-10-04 13:07:31 -04:00
parent 108e63007d
commit bf9af05867
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
doc/bugs/Deleting_last_copy_of_files_doesn__39__t_mark_them_dead/comment_2_745d70d2b7fea257727465281e16701e._comment Normal file
View file

@ -0,0 +1,12 @@
[[!comment format=mdwn
username="joey"
subject="""comment 2"""
date="2018-10-04T17:03:42Z"
content="""
I agree with CandyAngel, this is not something that should be done
automatically.
While `git annex dead --batch` could be worth adding, it might be more
useful to support `git annex dead --files file|dir ...` so you can just run
it on the same files you're dropping.
"""]]