add archimedes to known hosts and set window titles in .bashrc and the screenrc
[home-base.git] / .ssh /
drwxr-xr-x   ..
-rw-r--r-- 711 config
-rw-r--r-- 444 identity_debian.pub
-rw-r--r-- 444 identity_propel.pub
-rw-r--r-- 31833 known_hosts