diff options
author | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2019-01-10 16:28:48 +0100 |
---|---|---|
committer | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2019-01-10 16:30:43 +0100 |
commit | 76ea8fdcc88bcf23cf480350d09da7bc379d4f33 (patch) | |
tree | 627aaf5ceab7812abd3fa345c53fca8ae12c0ba7 | |
parent | b4e3cd5b3588d29d2bb98ee619f443b24b32395f (diff) | |
download | git-deps-76ea8fdcc88bcf23cf480350d09da7bc379d4f33.tar.gz |
Use unbuffered IO
Without this patch, git-deps | tee $FILE
only produces output in 4KB chunks
so when you have to kill the process after a day,
you are left with incomplete output.
-rwxr-xr-x | git_deps/cli.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/git_deps/cli.py b/git_deps/cli.py index be2fb45..9e8b0ab 100755 --- a/git_deps/cli.py +++ b/git_deps/cli.py @@ -22,6 +22,7 @@ from __future__ import print_function import argparse import json +import os import sys from git_deps import __version__ @@ -134,6 +135,7 @@ def main(args): if options.serve: serve(options) else: + sys.stdout = os.fdopen(sys.stdout.fileno(), 'w', 0) try: cli(options, args) except InvalidCommitish as e: |