equal
deleted
inserted
replaced
27 |
27 |
28 import sys, os, signal |
28 import sys, os, signal |
29 |
29 |
30 def uisetup(ui): |
30 def uisetup(ui): |
31 p = ui.config("pager", "pager", os.environ.get("PAGER")) |
31 p = ui.config("pager", "pager", os.environ.get("PAGER")) |
32 if p and sys.stdout.isatty() and not ui.debugflag: |
32 if p and sys.stdout.isatty() and '--debugger' not in sys.argv: |
33 if ui.configbool('pager', 'quiet'): |
33 if ui.configbool('pager', 'quiet'): |
34 signal.signal(signal.SIGPIPE, signal.SIG_DFL) |
34 signal.signal(signal.SIGPIPE, signal.SIG_DFL) |
35 sys.stderr = sys.stdout = os.popen(p, "wb") |
35 sys.stderr = sys.stdout = os.popen(p, "wb") |