Image by grantc via Flickr […] If you are using gnome-shell and are bored with the same default theme then read on…. 🙂 By default changing the default theme requires that you modify the files …