Message264096
How about:
try:
size = os.get_terminal_size(sys.__stdout__.fileno())
except (AttributeError, ValueError, OSError):
# stdout is None, closed, detached, or not a terminal, or
# os.get_terminal_size() is unsupported
size = os.terminal_size(fallback) |
|
Date |
User |
Action |
Args |
2016-04-24 06:22:13 | martin.panter | set | recipients:
+ martin.panter, vstinner, python-dev, serhiy.storchaka, abarry |
2016-04-24 06:22:13 | martin.panter | set | messageid: <1461478933.6.0.447080142935.issue26801@psf.upfronthosting.co.za> |
2016-04-24 06:22:13 | martin.panter | link | issue26801 messages |
2016-04-24 06:22:13 | martin.panter | create | |
|