##// END OF EJS Templates
Merge pull request #9256 from x1o/x1o-pager-colours...
Thomas Kluyver -
r22103:b36d872e merge
parent child Browse files
Show More
@@ -308,6 +308,10 b' def get_pager_cmd(pager_cmd=None):'
308 pager_cmd = os.environ['PAGER']
308 pager_cmd = os.environ['PAGER']
309 except:
309 except:
310 pager_cmd = default_pager_cmd
310 pager_cmd = default_pager_cmd
311
312 if pager_cmd == 'less' and '-r' not in os.environ.get('LESS', ''):
313 pager_cmd += ' -r'
314
311 return pager_cmd
315 return pager_cmd
312
316
313
317
General Comments 0
You need to be logged in to leave comments. Login now