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

Ajustement : interface graphique de personnalisation de Gnome

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.

Un environnement de bureau Unity avec Numix

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 :

  1. Ubuntu Dock qui fournit un dock latéral ;

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