Vuelvo a decir Linux cambia, desde que salió Gnome Shell explicábamos como instalar alguna extensión y había que utilizar comandos y demás, luego la forma gráfica para instalar temas y hoy tenemos la forma super sencilla y super gráfica para instalar extensiones en Gnome Shell, gracias a la nueva página oficial de las Extensiones de Gnome Shell. Después del salto os sigo contando.