23 de octubre de 2014

Gestionando las extensiones de GNOME-Shell

Como abremos visto en el artículo anterior sobre cómo Instalar extensiones en GNOME Shell, en dónde tenemos una pequeña sección de la página que permite gestionar nuestras extensiones previamente instaladas en nuestro directorio de usuario. Aquí hablaremos de cómo 'invocar' a la utilidad que modifica los parámetros y configuraciones de cada extensión.

GNOME Shell provee de dos herramientas con la que podemos configurar nuestras extensiones. Viene incluída en el paquete de gnome-shell. Así que cualquier usuario que utilice GNOME 3 le viene intrínseca en su sistema.

La herramienta se puede utilizar de forma gráfica o mediante terminal.

De forma gráfica, el ejecutable se llama gnome-shell-extension-prefs



Podemos elegir dentro del menú despegable las opciones de cada extensión de GNOME Shell.

Editando las opciones de la extensión 'Alternate Tab'
Por otro lado, podemos gestionarlas de modo no gráfico con el comando gnome-shell-extension-tool

La sintaxis del comando es la siguiente:
$ gnome-shell-extension-tool --help
Usage: gnome-shell-extension-tool [options]
Options:
  -h, --help            show this help message and exit
  -d DISABLE, --disable-extension=DISABLE
                        Disable a GNOME Shell extension
  -e ENABLE, --enable-extension=ENABLE
                        Enable a GNOME Shell extension
  -c, --create-extension
                        Create a new GNOME Shell extension

Referencias

GNOME 3 ~ Extension preferences
yum whatprovides  gnome-shell-extension-tool

No hay comentarios:

Publicar un comentario

Gracias por visitar mi blog y animarte a comentar. Por favor se respetuoso con sus comentarios. Cualquier error es preferible reportárlo que criticarlo por el bien de todos.



Licencia y responsabilidades

Licencia Creative Commons
netSys blog por Álvaro Castillo se encuentra bajo una Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.

El propietario de este blog no se responsabiliza de los daños que puedan generarse u ocurrir por la información expuesta aquí, en caso de ser utilizada la responsabilidad recae bajo quién la use.

Se les informa de posibles publicaciones donde queden expuestas imágenes a terceros o marcas comerciales que siempre tendrán sus fuentes, y sus atribuciones.

Por último, en caso de confusión por la temática que se trate de los artículos, tutoriales...etc dejaremos claro que este sitio Web no colabora directamente con ningún proyecto de forma oficial.