gnome-extensions:tldr:8014f

gnome-extensions: Disable a specific extension.

gnome-extension

$ gnome-extension disable "${extension_id}"

try on your machine

The command gnome-extension disable "${extension_id}" is used to disable a GNOME Shell extension in a Linux operating system running the GNOME desktop environment.

Here is an explanation of each component of the command:

gnome-extension is a command-line tool that allows users to manage GNOME Shell extensions.
disable is an argument passed to the gnome-extension tool, specifying that we want to disable a GNOME Shell extension.
${extension_id} is a variable that should be replaced with the actual ID of the GNOME Shell extension you want to disable. The variable is wrapped in double quotes to ensure that any special characters within the ID are properly handled by the command.

For example, if you have a GNOME Shell extension with the ID "my-extension@domain.com", you would substitute ${extension_id} with my-extension@domain.com, resulting in the command gnome-extension disable "my-extension@domain.com".

By executing this command in a terminal, the specified GNOME Shell extension will be disabled, meaning it will no longer be active or function until it is enabled again.

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.

back to the gnome-extension tool