gnome-extensions:tldr:4631a
gnome-extensions: Uninstall a specific extension.
$ gnome-extension uninstall "${extension_id}"
try on your machine
The command "gnome-extension uninstall" is used to uninstall a Gnome shell extension from a Gnome-based Linux distribution.
"${extension_id}" is the parameter that specifies the ID of the extension to be uninstalled. The ID is usually a string that uniquely identifies the extension. It could be something like "example@domain.com".
So, when you run this command with the specific extension ID, it will remove that Gnome shell extension from your system.
This explanation was created by an AI. In most cases those are correct. But please always be careful and
never run a command you are not sure if it is safe.