¿Cómo eliminar por completo una extensión de shell gnome?

26

Estoy ejecutando gnome-shell 3.4.1 en Ubuntu 12.04. He estado probando varias extensiones de http://extensions.gnome.org y ahora quiero eliminar por completo algunas, especialmente para que no ocupen espacio en Gnome Tweak Tool.
¿Es seguro eliminar la carpeta de extensión debajo ~/.local/share/gnome-shell/extensions/?

12.04 gnome gnome-shell gnome-shell-extension MorganSBailey
fuente

Respuestas:

23

De la página de shell de Gnome Dice:

Hay algunos errores GNOME 3.2que impiden que la desinstalación funcione correctamente para algunas extensiones. GNOME Shell 3.2.2.1 ha solucionado estos problemas. Asegúrese de que su sistema esté completamente actualizado si tiene problemas para desinstalar extensiones.

Si no tiene GNOME Shell 3.2.2.1 y no puede obtenerlo, o no está seguro, puede desinstalar la extensión manualmente. Elimine el directorio de la extensión y luego reinicie el Shell. La extensión debe almacenarse en ~/.local/share/gnome-shell/extensions. Eliminar el directorio no será suficiente: deberá reiniciar el Shell para asegurarse de que la extensión esté completamente desinstalada: abra el cuadro de diálogo de ejecución con Alt + F2 e ingrese restart.

Entonces, estarás bien eliminando la extensión ~/.local/share/gnome-shell/extensionsmanualmente.

Achu
fuente
3
Esto parece sugerir que hay un cierto proceso de desinstalación en las versiones posteriores a 3.2.2.1 (aparte de eliminar manualmente la carpeta y reiniciar), que, sin embargo, no se especifica. Gracias de todos modos.
MorganSBailey
2
Eliminé la carpeta de algunas extensiones, ¡pero algunas vuelven después de reiniciar! (es decir, menú de aplicación, AlternateTab y etc.)
Rahmani
2
@Rahmani si todavía tienes ese problema: mira /usr/share/gnome-shell/extensions/. Aparentemente, algunas extensiones están instaladas en todo el sistema y, al menos en mi caso, no fueron extraíbles por el sitio web.
Steffen Winkler
1
@ SteffenWinkler gracias, funciona perfectamente. No sabía que está instalado en todo el sistema
ismailsunni
11

OK, lo encontré. En https://extensions.gnome.org , navegue debajo de Installed extensions, donde hay un botón X al lado de cada extensión que lo desinstala. Como se mencionó en la respuesta anterior, eso solo funciona después de la versión 3.2.2.1.

ingrese la descripción de la imagen aquí

MorganSBailey
fuente
11
Esto no siempre funciona ...
Wilf
¡Desinstalo la extensión de esta página, pero algunas vuelven después de reiniciar! (es decir, menú de aplicación, AlternateTab y etc.)
Rahmani
@Rahmani: esas son extensiones de fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Descargué su extensión de Configuración de usuario y agregó un montón de sus otras extensiones. Ahora no puedo eliminar ninguno de ellos.
guttermonk
4

Las extensiones de 'fmuellner' parecen almacenarse en un directorio "/ usr / share / gnome-shell / extensiones /" y otras extensiones se almacenan en un directorio "~ / .local / share / gnome-shell / extensiones". Yo también tuve este problema antes. Lo resolví eliminando estos directorios y reiniciando la computadora. No puede eliminarlos del explorador o explorador de archivos. Por lo tanto, se requieren permisos de superusuario para eliminarlos. Use el siguiente comando en la terminal. $ sudo rm -r /usr/share/gnome-shell/extensions/ $ sudo rm -r ~/.local/share/gnome-shell/extensions/

y luego reiniciar la computadora desde la interfaz gráfica de usuario o puede usar $ sudo init 6

Tenga cuidado de no eliminar otros directorios por error. La solución anterior funcionó para mí. Espero que ayude.

prasad_myway
fuente