diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-01-18 13:01:23 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-01-18 13:01:23 -0400 |
commit | 7a5a254066edca25dc66b7aeb2a87f35ad846604 (patch) | |
tree | 3941dbfd4c8bcc15024a5674491809162d4cc2b8 /debian | |
parent | 39887342ce534202036e99f6344d5522f1bceed7 (diff) |
Force output to be line-buffered, even when it's not connected to the terminal.
This is particuarly important for commands with --batch output, which was
not always being flushed at an appropriate time.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 077e36e76..0817d0be3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,9 @@ git-annex (6.20160115) UNRELEASED; urgency=medium * whereis --json: Urls are now listed inside the remote that claims them, rather than all together at the end. * info: Support --batch mode. + * Force output to be line-buffered, even when it's not connected to the + terminal. This is particuarly important for commands with --batch + output, which was not always being flushed at an appropriate time. -- Joey Hess <id@joeyh.name> Fri, 15 Jan 2016 14:05:01 -0400 |