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 extensiones.gnome.org . Tampoco se eliminaron de la lista en gnome-tweak-tool.
Así que ahora en mi lista tengo un montón de extensiones que ya he eliminado. Lo curioso es que no puedo reinstalarlos también, ya que tanto la herramienta gnome-tweak-tool como el sitio web piensan que todavía están allí. Esto no es gran cosa, por supuesto, pero me resulta un poco molesto.
Reinstalar gnome-tweak-tool no ayudó.
¿Hay alguna manera de actualizar de alguna manera el estado de las extensiones instaladas?
fuente
Respuestas:
Cómo eliminar una o todas las extensiones de Gnome-shell por completo
Abrir terminal: (desde el menú de la aplicación o presionando Ctrl + Alt + T)
Luego escriba: sudo su - y escriba su contraseña y presione enter
luego escriba este comando:
luego escriba este comando para ver todas sus extensiones instaladas: ls
luego escriba este comando para eliminar cada una o la extensión que realmente desea eliminar por completo:
por ejemplo: rm -r [email protected]/
y presione: Alt + F2 luego escriba "r" sí simple solo una r
Ok hecho.
Puede consultar extensiones.gnome.org para estar seguro de esto.
fuente
Vaya a las extensiones instaladas en extensiones.gnome.org y haga clic en el símbolo X en el círculo a la derecha de la extensión para desinstalarla. El interruptor ON / OFF solo lo deshabilita.
fuente