Ubuntu 12.04 removes the Gnome Shell extension's tips

Previously, Xiaobian introduced the Ubuntu 12.04 method of installing the Gnome Shell extension, but some users installed and did not like to uninstall. When uninstalling, I found that some extensions were stopped, and the extensions in the advanced settings did not match the current version. At this point, we can only manually remove these extensions.

follows:

1, find the file extension. Open the /usr/share/gnome-shell/extensions directory and delete the files in the directory with root privileges.

2. Delete the files in the ~/.local/share/gnome-shell directory.

3, after alt+f2 input r restart gnome-shell.

After a simple three-step process, open gnome-shell and you will find that it has been deleted. If you are still trying to delete the extended users, try the small series.