1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
# Copyright (C) 2009-2012 Chris Ball <cjb@laptop.org>
# W. Trevor King <wking@drexel.edu>
#
# This file is part of Bugs Everywhere.
#
# Bugs Everywhere is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the Free
# Software Foundation, either version 2 of the License, or (at your option) any
# later version.
#
# Bugs Everywhere is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
# more details.
#
# You should have received a copy of the GNU General Public License along with
# Bugs Everywhere. If not, see <http://www.gnu.org/licenses/>.
"""
Automatic pager for terminal output (a la Git).
"""
import sys, os, select
# see http://nex-3.com/posts/73-git-style-automatic-paging-in-ruby
def run_pager(paginate='auto'):
"""
paginate should be one of 'never', 'auto', or 'always'.
usage: just call this function and continue using sys.stdout like
you normally would.
"""
if paginate == 'never' \
or sys.platform == 'win32' \
or not hasattr(sys.stdout, 'isatty') \
or sys.stdout.isatty() == False:
return
if paginate == 'auto':
if 'LESS' not in os.environ:
os.environ['LESS'] = '' # += doesn't work on undefined var
# don't page if the input is short enough
os.environ['LESS'] += ' -FRX'
if 'PAGER' in os.environ:
pager = os.environ['PAGER']
else:
pager = 'less'
read_fd, write_fd = os.pipe()
if os.fork() == 0:
# child process
os.close(read_fd)
os.close(0)
os.dup2(write_fd, 1)
os.close(write_fd)
if hasattr(sys.stderr, 'isatty') and sys.stderr.isatty() == True:
os.dup2(1, 2)
return
# parent process, become pager
os.close(write_fd)
os.dup2(read_fd, 0)
os.close(read_fd)
# Wait until we have input before we start the pager
select.select([0], [], [])
os.execlp(pager, pager)
|
