diff options
Diffstat (limited to 'pager.py')
| -rw-r--r-- | pager.py | 7 |
1 files changed, 5 insertions, 2 deletions
| @@ -56,8 +56,11 @@ def _PipePager(pager): | |||
| 56 | global pager_process, old_stdout, old_stderr | 56 | global pager_process, old_stdout, old_stderr |
| 57 | assert pager_process is None, "Only one active pager process at a time" | 57 | assert pager_process is None, "Only one active pager process at a time" |
| 58 | # Create pager process, piping stdout/err into its stdin | 58 | # Create pager process, piping stdout/err into its stdin |
| 59 | pager_process = subprocess.Popen([pager], stdin=subprocess.PIPE, stdout=sys.stdout, | 59 | try: |
| 60 | stderr=sys.stderr) | 60 | pager_process = subprocess.Popen([pager], stdin=subprocess.PIPE, stdout=sys.stdout, |
| 61 | stderr=sys.stderr) | ||
| 62 | except FileNotFoundError: | ||
| 63 | sys.exit(f'fatal: cannot start pager "{pager}"') | ||
| 61 | old_stdout = sys.stdout | 64 | old_stdout = sys.stdout |
| 62 | old_stderr = sys.stderr | 65 | old_stderr = sys.stderr |
| 63 | sys.stdout = pager_process.stdin | 66 | sys.stdout = pager_process.stdin |
