|
|
1c2057ef76
|
Reorganize Gnome's Shell Extensions ...
... to mimic my desktop's style before Fedora 39,
while still keeping incompatible extensions disabled
|
2023-11-30 02:27:07 +01:00 |
|
|
|
ca260c157c
|
Configure the Gnome forge extension
The "forge" extension replaces the "pop-shell" one,
which is not yet ready for Gnome 45
|
2023-11-09 02:48:57 +01:00 |
|
|
|
48146a055d
|
Configure the Gnome system-monitor extension
The "system-monitor" extension replaces the "simple-system-monitor" one,
which is not yet ready for Gnome 45
|
2023-11-09 00:22:59 +01:00 |
|
|
|
a28e2f41d0
|
Disable the Gnome justperfection extension
Reason: it does not work with Gnome 45 as of this commit
|
2023-11-08 19:58:34 +01:00 |
|
|
|
b8af087495
|
Disable the Gnome openweather extension
Reason: it does not work with Gnome 45 as of this commit
|
2023-11-08 18:41:29 +01:00 |
|
|
|
54c5447bec
|
Add the Night Theme Switcher shell extension
|
2023-05-30 18:37:36 +02:00 |
|
|
|
3d80e0bdcc
|
Re-organize Gnome's workspaces
|
2023-05-09 11:31:55 +02:00 |
|
|
|
9a0514251a
|
Put more spaces between sections
|
2023-05-05 01:44:18 +02:00 |
|
|
|
1691ddf1fa
|
Update Gnome Shell Extensions' settings
After switching to the latest Fedora 38 with Gnome 44, some new
shell extensions are added and old ones removed
|
2023-05-02 12:37:01 +02:00 |
|
|
|
fc19761aac
|
User <Super>1-10 to switch workspaces ...
... instead of launching "favorite" apps
|
2023-01-30 04:26:23 +01:00 |
|
|
|
f08c01d886
|
Incorporate changes from Pop OS 22.04 install
|
2023-01-24 01:21:32 +01:00 |
|
|
|
9bc310ff9f
|
Configure Gnome
- add ~/.config/gnome-settings/*.ini
=> static files with a commented export of Gnome settings
- re-load these configs with `update-machine`
|
2022-08-14 17:38:40 +02:00 |
|
