##// END OF EJS Templates
Pager extension: switch it off if --debugger is set...
Gilles Moris -
r6456:db5324d3 default
parent child Browse files
Show More
@@ -29,7 +29,7 b' 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")
General Comments 0
You need to be logged in to leave comments. Login now