##// END OF EJS Templates
pager: remove quiet flag...
David Soria Parra -
r16632:0c0c1101 stable
parent child Browse files
Show More
@@ -22,12 +22,6 To set the pager that should be used, se
22 If no pager is set, the pager extensions uses the environment variable
22 If no pager is set, the pager extensions uses the environment variable
23 $PAGER. If neither pager.pager, nor $PAGER is set, no pager is used.
23 $PAGER. If neither pager.pager, nor $PAGER is set, no pager is used.
24
24
25 If you notice "BROKEN PIPE" error messages, you can disable them by
26 setting::
27
28 [pager]
29 quiet = True
30
31 You can disable the pager for certain commands by adding them to the
25 You can disable the pager for certain commands by adding them to the
32 pager.ignore list::
26 pager.ignore list::
33
27
@@ -91,9 +85,11 def uisetup(ui):
91 (cmd not in ui.configlist('pager', 'ignore') and not attend))):
85 (cmd not in ui.configlist('pager', 'ignore') and not attend))):
92 ui.setconfig('ui', 'formatted', ui.formatted())
86 ui.setconfig('ui', 'formatted', ui.formatted())
93 ui.setconfig('ui', 'interactive', False)
87 ui.setconfig('ui', 'interactive', False)
88 try:
89 signal.signal(signal.SIGPIPE, signal.SIG_DFL)
90 except ValueError:
91 pass
94 _runpager(p)
92 _runpager(p)
95 if ui.configbool('pager', 'quiet'):
96 signal.signal(signal.SIGPIPE, signal.SIG_DFL)
97 return orig(ui, options, cmd, cmdfunc)
93 return orig(ui, options, cmd, cmdfunc)
98
94
99 extensions.wrapfunction(dispatch, '_runcommand', pagecmd)
95 extensions.wrapfunction(dispatch, '_runcommand', pagecmd)
General Comments 0
You need to be logged in to leave comments. Login now