This is an old revision of the document!
GNOME
Useful extensions
- User Themes - Let's you set shell theme
Switching Ubuntu to default GNOME
# option at login to use GNOME sudo apt install gnome-session # change login screen to use GNOME css sudo update-alternatives --config gdm3-theme.gresource # If some flatpak apps aren't using dark theme flatpak install adwaita-dark
Pop Shell Shortcuts
| Function | Shortcut |
|---|---|
| Super + S | Toggle stacking |