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
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