Gnome Shell nos permite agregar nuevas características, personalizaciones o funciones por medio de las extensiones. Como ya os contamos hace un tiempo, dichas extensiones podemos instalarlas directamente desde el servicio en linea de GNOME.
Para activarlas y desactivarlas, así como controlar todas las que tenemos instaladas, normalmente solemos utilizar la herramienta de configuración Gnome Tweak Tool, que entre otras cosas nos permite gestionar todas las extensiones, pero existen más formas.
