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/?
¿Cómo eliminar por completo una extensión de shell gnome?
Respuestas:
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 ingreserestart.
Entonces, estarás bien eliminando la extensión ~/.local/share/gnome-shell/extensionsmanualmente.
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
Eliminé la carpeta de algunas extensiones, ¡pero algunas vuelven después de reiniciar! (es decir, menú de aplicación, AlternateTab y etc.)
—
Rahmani
@Rahmani si todavía tienes ese problema: mira
—
Steffen Winkler
/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.
@ SteffenWinkler gracias, funciona perfectamente. No sabía que está instalado en todo el sistema
—
ismailsunni
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.
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
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.
Vi la última actividad "hace 2 meses", de lo contrario no respondería.
No sé lo difícil que fue antes, pero ahora simplemente puedes ir al centro de software ubuntu, sección "instalado"