GNOME Shell Extensions « Musings of an OS plumber Posted on 2011-08-11 Leave a comment GNOME Shell Extensions « Musings of an OS plumber.