gnome:extensions:extra_in-house_extensions
Gnome - Extensions - Extra In-House Extensions
sudo apt install gnome-shell-extensions
NOTE: Provides additional additional functionality in the GNOME Shell.
- To have these enabled without restart, type ALT+F2, type r and press ENTER.
- The new extensions should appear in the Extension list.
- To enable any extension, switch the button to the ON position.
gnome/extensions/extra_in-house_extensions.txt · Last modified: 2022/07/23 08:19 by 194.32.120.114