[darcs-devel] [patch1333] resolve issue 2327

Ben Franksen bugs at darcs.net
Mon Jun 22 20:04:47 UTC 2015


Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:

Adding an extra option means such scripts have to be changed to add the
new option. If they have to do this, they can as well change the call to

 yes|darcs <args>

Given that each additional option makes the UI more complex, I think the
net win is negative.

However: we could decide to ask the user only if --interactive is in
effect (or rather, if isInteractive returns True). This would cover all
scenarios where the user gets hurt by darcs giving up, while not
punishing scripts, at least not those that turn interactivity off
(either explicity or implicitly).

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1333>
__________________________________


More information about the darcs-devel mailing list