##// END OF EJS Templates
two fixes for the pager stuff...
Alexis S. L. Carvalho -
r6303:577a7da1 default
parent child Browse files
Show More
@@ -385,7 +385,7 b' class ui(object):'
385 self.buffers[-1].extend([str(a) for a in args])
385 self.buffers[-1].extend([str(a) for a in args])
386 else:
386 else:
387 if self.getpager() and not self.pager:
387 if self.getpager() and not self.pager:
388 self.pager = os.popen(self.getpager(), "w")
388 self.pager = os.popen(self.getpager(), "wb")
389 sys.stderr = self.pager
389 sys.stderr = self.pager
390 sys.stdout = self.pager
390 sys.stdout = self.pager
391 for a in args:
391 for a in args:
@@ -495,6 +495,6 b' class ui(object):'
495
495
496 def getpager(self):
496 def getpager(self):
497 '''return a pager'''
497 '''return a pager'''
498 if self.configbool("ui", "usepager", False):
498 if sys.stdout.isatty() and self.configbool("ui", "usepager", False):
499 return (self.config("ui", "pager")
499 return (self.config("ui", "pager")
500 or os.environ.get("PAGER"))
500 or os.environ.get("PAGER"))
General Comments 0
You need to be logged in to leave comments. Login now