I’m a chrome user, so this works out really for me. The easiest way to install gnome extensions is through a chrome extension. If you have that, head over to https://extensions.gnome.org/ to get more extensions.
I really like these:
- Dash to Dock
- Sound Output Device Chooser
- Workspaces to Dock
- Workspace Indicator
- Show Desktop Button
- Toggle Touchpad
- Battery Percentage
To manage these extensions – turn them on and off, or change options if they have any – use Gnome Tweak Tool. If you don’t have it, get it with this command:
sudo apt install gnome-tweak-tool
If you go to https://extensions.gnome.org/ using Firefox it will allow you to install a browser extension to get the same thing in Firefox.
Good list, thanks!