Mike McQuaid 2cf2c020ba tty: handle non-tty stdin.
When stdin is not a tty then the message `stty: stdin isn't a terminal`
will be produced. Silence this message and fall back to `tput` when it
fails and default to 80 if we get no results at all.

Follow-up from #2714.
2017-06-07 06:57:50 +01:00
..
2017-01-04 11:13:41 +00:00
2017-04-23 15:10:18 +01:00
2017-05-08 13:37:28 +02:00
2016-09-11 19:13:00 +01:00
2017-05-24 09:12:21 -07:00
2017-05-29 01:45:05 +02:00
2017-04-22 16:28:07 +01:00
2017-06-07 06:57:50 +01:00