mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 06:54:58 +02:00
Code Issues Packages Projects Releases Wiki Activity

Allow the diff kitten to work even if stdout/stdin are redirected

Browse Source 
Now directly opens /dev/tty
This commit is contained in:
Kovid Goyal
2018-06-06 12:01:47 +05:30
parent 8f433f5ff6
commit 8a1a45b067
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
kittens/diff/main.py
View File

@@ -399,6 +399,11 @@ def main(args):
opts = init_config(args) opts = init_config(args)
set_diff_command(opts.diff_cmd) set_diff_command(opts.diff_cmd)
lines_for_path.replace_tab_by = opts.replace_tab_by lines_for_path.replace_tab_by = opts.replace_tab_by
# Ensure the kitten works even when stdin/stdout are redirected
if not sys.stdin.isatty():
sys.stdin = open('/dev/tty')
if not sys.stdout.isatty():
sys.stdout = open('/dev/tty', 'w')
loop = Loop() loop = Loop()
handler = DiffHandler(args, opts, left, right) handler = DiffHandler(args, opts, left, right)