Preguntas etiquetadas con gnome-shell-extension

Me gusta ejecutar un par de scripts para instalar paquetes automáticamente y hacer algunas configuraciones en instalaciones nuevas de SO. Utilizo gnome shell con algunas extensiones y estaba pensando en mejorar mis scripts para configurarlos. Normalmente configuro las extensiones usando gnome-shell-extension-prefs o dconf-editor y sé cómo editar otros esquemas desde …

9 gsettings  gnome-shell-extension  gnome-shell 

Encontré una extensión de GNOME a través de una búsqueda en Google (usando Chromium), y me sorprendió mucho que simplemente pudiera alternar el interruptor de encendido / apagado para que el sitio web instale una extensión completa de GNOME en mi computadora sin ningún otro paso manual involucrado. (probado, esto …

9 gnome  security  gnome-shell  gnome-shell-extension  extension 

Tengo un pequeño problema con las extensiones de shell gnome. Después de instalar algunos de ellos, entendí que no me gustaban y decidí eliminarlos. Las extensiones mismas (sus carpetas en /home/username/.local/share/gnome-shell/extensions) se eliminaron con éxito. Sin embargo, las extensiones eliminadas no se eliminaron de la lista de extensiones instaladas en …

8 gnome  gnome-shell-extension 

Ejecutando Ubuntu 12.04 con Gnome Shell 3.4 . Después de habilitar la extensión del panel inferior (para eliminar la molesta bandeja de mensajes / panel inferior / hot-corner en la parte inferior; sabes de lo que estoy hablando (:), todavía aparece un mensaje emergente de "medio" mensaje después de agregar …

8 gnome  gnome-shell  panel  gnome-shell-extension  messaging-tray 

Tengo algunos problemas para que gnome-shell funcione desde que instalé una extensión (no sé cuál) en 11.10. Entonces, lo que me gustaría saber es: ¿Cómo puedo desinstalar completamente TODO lo relacionado con gnome-shell (todas las extensiones, gnome-tweak-tool, etc.), todo? Para que pueda comenzar de nuevo y volver a instalarlos todos …

8 gnome  11.10  gnome-shell  gnome-shell-extension