Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances that make up the Ning platform (http://www.ning.com).
I don't know what circumstances, but they don't work under some ;)
host:$ galaxy show
ip-10-80-159-172 /some/server/blah stopped 2.0.0 blah ip-10-80-159-172 10.80.159.172 online
host:$ galaxy -m ip-10-80-159-172 show
No agents matching the provided filter(s) were available for show
host:$ galaxy -i ip-10-80-159-172 show
No agents matching the provided filter(s) were available for show
host:$ galaxy -I 10.80.159.172 show
ip-10-80-159-172 /some/server/blah stopped 2.0.0 blah ip-10-80-159-172 10.80.159.172 online