Message294650
> Would it help if pipe the output of dis() through a pager
> if the output file and stdin are attached to a terminal?
-1 for adding a pager. |
|
Date |
User |
Action |
Args |
2017-05-28 17:47:00 | rhettinger | set | recipients:
+ rhettinger, ncoghlan, belopolsky, pitrou, vstinner, torsten, berker.peksag, serhiy.storchaka, jleedev, matrixise, Todd Dembrey |
2017-05-28 17:47:00 | rhettinger | set | messageid: <1495993620.01.0.442421539349.issue11822@psf.upfronthosting.co.za> |
2017-05-28 17:46:59 | rhettinger | link | issue11822 messages |
2017-05-28 17:46:59 | rhettinger | create | |
|