e1a6020264469bce1b133d82368ebaa13aaf90c2
-rwxr-xr-x 263 become
-rwxr-xr-x 301 bigscreen
-rwxr-xr-x 1097 choice
-rwxr-xr-x 1659 find_working
-rwxr-xr-x 455 get_remote_ip
-rwxr-xr-x 347 has_term
-rwxr-xr-x 1906 kill_known_host
-rwxr-xr-x 168 lensort
-rwxr-xr-x 908 sshcolourterm
-rwxr-xr-x 170 sshterm
-rwxr-xr-x 12044 terminal_colors
-rwxr-xr-x 289 ts
-rwxr-xr-x 384 ufont
-rwxr-xr-x 350 usize