Como cada poco tiempo, vuelvo por un “rato” a GNOME Shell para apreciar cómo el escritorio avanza en algunas cosas y se mantiene estéril en otras. Es entonces cuando me pregunto si habrá alguien que pueda utilizarlo sin echar mano[…]
Hide Top Bar y Simple Dock, dos extensiones para ganar espacio y agilidad en GNOME Shell
PorGustavo
Jun 20, 2014