Personnaliser Ubuntu
On peut personnaliser Ubuntu en souhaitant modifier les packs d'icônes ou les thèmes des fenêtres. Pour cela, il faudra impérativement installer le logiciel gnome-tweak-tool (uniquement la version Ubuntu de base).
Ensuite, on pourra installer un joli pack d'icônes que l'on retrouve à la fois sur Android et Ubuntu : Numix. Ces icônes sont toutes Open-Source.
Des extensions pour améliorer l'expérience utilisateur !
Le bureau Ubuntu, depuis la version 17.10, se complète avec des extensions bien utiles écrites en JavaScript. Ces extensions vous permettent d'ajouter/supprimer/modifier des fonctionnalités de l'interface : barre de tâches, dock, gestionnaire de presse-papiers, menus pour les emplacements favoris ou les applications, etc.
Ubuntu utilise par défaut 2 extensions, non désactivables :
Ubuntu Dock qui fournit un dock latéral ;
Ubuntu AppIndicator qui intègre des indicateurs supplémentaires dans la barre supérieure.
L'extension supplémentaire Dash to Dock permet d'avoir un dock entièrement personnalisable : position, taille...
Pour voir toutes les extenions, les gérer et les installer, on peut passer par le site web dédié : https://extensions.gnome.org/
Quelques extensions utiles :
L'extension supplémentaire Dash to Dock permet d'avoir un dock entièrement personnalisable : position, taille...
GSConnect permet une interaction fine entre son mobile Android (application KDEConnect) et son Ubuntu version Gnome.
Remarque :
Pour installer les extensions depuis le navigateur, installer ce petit programme :
sudo apt install chrome-gnome-shell
Si vous avez des soucis avec les extensions, consultez la page d'aide Ubuntu-fr : https://doc.ubuntu-fr.org/extensions-gnome