Ubuntu 12.04 elimina las puntas de extensión de Gnome Shell

Anteriormente, Xiaobian introdujo Ubuntu 12.04 para instalar la extensión de Gnome Shell, pero a algunos usuarios los instalaron y no les gusta desinstalar. Al desinstalar, encontré que algunas extensiones se detuvieron y que las extensiones en la configuración avanzada no coincidían con la versión actual. En este punto, solo podemos eliminar manualmente estas extensiones.

sigue:

1, se encontró la extensión de archivo. Abra el directorio /usr /share /gnome-shell /extensions y elimine los archivos en el directorio con privilegios de root.

2. Borre los archivos en el directorio ~ /.local /share /gnome-shell.

3, después de la entrada alt + f2 r reinicia gnome-shell.

Después de un simple proceso de tres pasos, abra gnome-shell y encontrará que se ha eliminado. Si aún está intentando eliminar a los usuarios extendidos, intente con la serie pequeña.