##// END OF EJS Templates
pager: do not enable when TERM=dumb...
Valentin Gatien-Baron -
r39349:6f38284b default
parent child Browse files
Show More
@@ -1052,6 +1052,7 b' class ui(object):'
1052 command in self.configlist('pager', 'ignore')
1052 command in self.configlist('pager', 'ignore')
1053 or not self.configbool('ui', 'paginate')
1053 or not self.configbool('ui', 'paginate')
1054 or not self.configbool('pager', 'attend-' + command, True)
1054 or not self.configbool('pager', 'attend-' + command, True)
1055 or encoding.environ.get('TERM') == 'dumb'
1055 # TODO: if we want to allow HGPLAINEXCEPT=pager,
1056 # TODO: if we want to allow HGPLAINEXCEPT=pager,
1056 # formatted() will need some adjustment.
1057 # formatted() will need some adjustment.
1057 or not self.formatted()
1058 or not self.formatted()
General Comments 0
You need to be logged in to leave comments. Login now