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.
Como podéis ver en la imagen, si llegáis a entenderla podréis quedaros con la boca abierta, bueno así me he quedado yo.
Si abres la web de las extensiones (https://extensions.gnome.org/), podréis ver las distintas extensiones, sí dais en una os aparecerá la imagen de arriba, pero con la información de dicha extensión, pero la imagen superior izquierda podrá off, si movéis el botón se pondrá en on y os saldrá la instalación. Le dáis a instalar y listo, ya está habilitado e instalado. Para deshabilitarlo solo hay que poner en off el botón.
Así de sencillo, aunque tenemos algunos problemas que os enumero:
- Es una versión alfa pública.
- Sólo vale para Gnome 3.2 o superior, en Ubuntu está actualizado si os lo habéis instalado, Linux Mint 12 viene con él, como con ArchLinux y Fedora 16.
- De momento solo funciona en Firefox, y en las últimas versiones, ya que requiere html5.
Ahora que sigan diciendo que Linux es complicado XD
Os dejo algunas extensiones que me han gustado:
2 comentarios en “Sitio oficial de las extensiones para Gnome shell”