Set the same virtual terminal size to all remote shells, accounting for the
[gsh.git] / gsh / 
tree40e09b44a37290e97da1c59f03dce73b9f0a1787
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3757 buffered_dispatcher.py
-rw-r--r-- 1988 console.py
-rw-r--r-- 9356 control_shell.py
-rw-r--r-- 2274 host_syntax.py
-rw-r--r-- 5996 main.py
-rw-r--r-- 15828 remote_dispatcher.py
-rw-r--r-- 9281 stdin.py
-rw-r--r-- 1061 terminal_size.py
-rw-r--r-- 16 version.py