Into the (open) source


5 GNOME Shell extensions that will make your life easier


After all hiding from the blog, a mouthful broad appeal is just what we want. I did not want to shoot too high, so I opted for "facilitate" rather than "change". Also because there is little change, not?

Today we see how to speed up some operations using extensions Gnome Shell. But first, a clarification for those who do not know what is Gnome or Gnome Shell.

Unlike other operating systems, in GNU/Linux the back-end and the GUI are two separate things. A computer that mounts Linux can and should work even without interface