Есть еще забавный ClusterSSH. В бытность, когда управлял >5 серверов, сильно помогло. http://sourceforge.net/apps/mediawiki/clusterssh/index.php?title=FAQ -- Dmitry Agafonov ~ http://agafonov.pp.ru/