Scripts I use for doing administration of groups of servers over ssh without have to log in to each one.