Paramètres
- Apparence : style clair/sombre, couleur d'accentuation.
- Ubuntu Desktop : dock (position, taille, masquage, icônes du bureau).
- Multitâche : coin actif, nombre d'espaces de travail.
Ajustements
sudo apt install gnome-tweaks gnome-shell-extension-managerAjustements : polices et lissage, boutons réduire/agrandir, applications au démarrage, comportement du pavé tactile.
Extensions utiles
- Clipboard Indicator : historique du presse-papiers.
- Dash to Panel : barre des tâches façon Windows.
- Caffeine : empêcher la mise en veille.
- GSConnect : relier son téléphone Android.
Une extension qui plante le bureau : désactivez-la dans le Gestionnaire (ou gnome-extensions disable nom). Voir aussi raccourcis clavier.