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

close

Browse source
This commit is contained in:
Joey Hess 2019-02-07 16:12:07 -04:00
parent 27fe59fd3c
commit b6df092f56
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
doc/todo/batch_command_result_status/comment_3_4f0b9c3fe9405d9bbb4adee31e2aa36d._comment Normal file
View file

@ -0,0 +1,13 @@
[[!comment format=mdwn
username="joey"
subject="""comment 3"""
date="2019-02-07T20:09:22Z"
content="""
Failure is always an option :) but if the failure is due to disk IO error
or disk full or memory error or whatever, it doesn't much matter which
particular item in the batch caused the error because you're going to want
to redo from start anyway.
I'll close this, if you find other commands whose batch interface can be
improved open more todos.
"""]]