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