Ubuntu does not know localdomain, so we use another name.
[gsh.git] / gsh / 
treed2cda400a7258cc22c200bae53a7dd5ff1f45b9c
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3209 buffered_dispatcher.py
-rw-r--r-- 2775 callbacks.py
-rw-r--r-- 4160 completion.py
-rw-r--r-- 1996 console.py
-rw-r--r-- 14360 control_commands.py
-rw-r--r-- 4054 control_commands_helpers.py
-rw-r--r-- 3399 dispatchers.py
-rw-r--r-- 4019 display_names.py
-rw-r--r-- 4149 file_transfer.py
-rw-r--r-- 2429 host_syntax.py
-rw-r--r-- 8796 main.py
-rw-r--r-- 7569 pity.py
-rw-r--r-- 10048 rb_tree.py
-rw-r--r-- 12523 remote_dispatcher.py
-rw-r--r-- 10301 stdin.py
-rw-r--r-- 1081 terminal_size.py
-rw-r--r-- 18 version.py