Try harder to get the terminal size. Works even when stdin is a pipe.
treebc251c030f792aa2aa13982275a112d271782583
-rw-r--r-- 22 .hgignore
-rwxr-xr-x 56 gsh.py
drwxr-xr-x - gsh