Las extensiones de GNOME permanecen en la lista después de ser eliminadas

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?

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:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

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:

rm -r name-of-extention

por ejemplo: rm -r dash-to-dock@yyy.gmail.com/

y presione: Alt + F2 luego escriba "r" sí simple solo una r

Ok hecho.

Puede consultar extensiones.gnome.org para estar seguro de esto.

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.