|
|
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 |
|
