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