Administrar extensiones de Gnome Shell en portablet Vexia con gnome-tweak-tool | Algo de Linux

sábado, 24 de junio de 2017

Administrar extensiones de Gnome Shell en portablet Vexia con gnome-tweak-tool

En un post de mayo, vimos cómo administrar extensiones de Gnome Shell desde Firefox o Google Chrome. Para los que no lo sepan, también podemos administrarlas mediante gnome-tweak-tool:


Por cierto, las extensiones que instalemos como usuario, se guardarán en el directorio:
$HOME/.local/share/gnome-shell/extensions/

Ya comentaré en otro post qué extensiones de gnome-shell utilizo en mi portablet Vexia.
Publicado por primera vez en http://enavas.blogspot.com.es

No hay comentarios: