| aliases | category | classification | date | date_modified | draft | id | image | links | local_archive_links | pinned | series | tags | title | type | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
gnome |
public |
2022-01-15 09:17:50 -0800 |
2022-01-15 09:17:50 -0800 |
false |
20220115171750 |
false |
false |
|
Installed Gnome Extensions |
tech-note |
I don't particuarly like extensions on Gnome, and would prefer to use them as little as possible, but the ones below are essential in my opinion.