gnome:extensions:install_gnome_shell_extensions_manually
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| gnome:extensions:install_gnome_shell_extensions_manually [2022/07/23 09:02] – 194.32.120.114 | gnome:extensions:install_gnome_shell_extensions_manually [2022/07/23 09:03] (current) – 194.32.120.114 | ||
|---|---|---|---|
| Line 16: | Line 16: | ||
| * **IMPORTANT** The name of the directory where the extension is to be installed must be the same as the value of uuid in the metadata.json file. | * **IMPORTANT** The name of the directory where the extension is to be installed must be the same as the value of uuid in the metadata.json file. | ||
| * Create the directory where the extension is to be installed. | * Create the directory where the extension is to be installed. | ||
| - | * This would be **~/ | + | * This would be **~/ |
| - | * Copy the extracted extension files to **~/ | + | * Copy the extracted extension files to **~/ |
| - | * where **xxxxxx** is the subdirectory name | + | |
| * Restart GNOME Shell. Press **Alt+F2**, and enter **r** and press **ENTER** to restart GNOME Shell. | * Restart GNOME Shell. Press **Alt+F2**, and enter **r** and press **ENTER** to restart GNOME Shell. | ||
| * Restart GNOME Tweaks tool as well. | * Restart GNOME Tweaks tool as well. | ||
gnome/extensions/install_gnome_shell_extensions_manually.1658566935.txt.gz · Last modified: 2022/07/23 09:02 by 194.32.120.114