[_3ex7]

Not specific to the GNOME environment, but some people might want to check out dzen if they are interested in piping CLI commands to their desktop.

http://sites.google.com/site/gotmor/dzen