Skip to content

Commit

Permalink
Update Gnome Shell Extensions
Browse files Browse the repository at this point in the history
  • Loading branch information
williambelle committed Jan 25, 2024
1 parent 825af39 commit d5edc9c
Showing 1 changed file with 3 additions and 7 deletions.
10 changes: 3 additions & 7 deletions src/settings/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -64,17 +64,13 @@ sudo apt install gnome-tweaks
* Seconds -> On
* Week Numbers -> On

## Extensions
## Gnome Shell Extensions

```bash
sudo apt install gnome-shell-extension-prefs
sudo apt install gnome-shell-extensions gnome-shell-extension-manager
```

Go to [https://extensions.gnome.org/](https://extensions.gnome.org/) and
install the browser extension. You can now install any Gnome Shell Extension
by turning on the switch on the web.

Search and open the "Extensions" app to manage installed extensions.
Search and open the "Extensions Manager".

Must have:

Expand Down

0 comments on commit d5edc9c

Please sign in to comment.