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