![Forrest logo](/images/logo.png)
gnome-extensions:tldr:8014f
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 thegnome-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.