Nous aimons tous avoir un environnement différent des autres, cela se produit dans chaque situation de la vie, nous aimons un ton de peinture différent, une musique différente, s'habiller d'une manière spéciale, etc.
Lorsque nous sommes dans le monde informatique, la même chose se produit, nous voulons personnaliser le bureau, changer la forme du pointeur de la souris, modifier la barre des tâches et plus encore, et cela est possible grâce aux thèmes de bureau. Un thème de bureau est une option qui a été développée pour modifier complètement l'apparence, non seulement du bureau, mais aussi des polices, de la souris, des icônes et d'autres éléments du système.
Dans Ubuntu 17.10, cela sera possible grâce à sa flexibilité et parce que nous aurons la possibilité de télécharger et d'installer des centaines d'options gratuites à cet effet.
Aujourd'hui, Solvetic vous apprendra en détail comment installer un nouveau thème dans Ubuntu 17.10 et ainsi optimiser son apparence d'une manière différente de ce qui est établi par défaut par les développeurs Ubuntu.
L'apparence du bureau par défaut dans Ubuntu 17.10 est la suivante :
Dans Ubuntu 17.10, nous avons plusieurs options lors de la gestion des thèmes, celles-ci :
IcônesLes icônes sont assez simples. Changer le thème des icônes changera l'apparence des icônes des applications, nous devons donc opter pour un thème d'icônes compatible avec un large éventail d'applications, sinon, nous pouvons voir que certaines icônes restent inchangées et qu'elles ont l'air hors de propos.
Thème GTKLe thème GTK est un framework utilisé pour construire l'interface utilisateur graphique d'une application. Fondamentalement, il détermine à quoi ressemblera une interface d'application (s'il s'agit d'une application GTK). Actuellement, Ubuntu utilise GTK3, il faudra donc télécharger les thèmes GTK3.
Thème GNOME ShellLa modification du thème GNOME Shell modifiera les éléments Shell tels que le panneau supérieur, la vue d'ensemble des activités, la notification du bureau, etc.
1. Comment installer des thèmes dans Ubuntu 17.10 à l'aide de PPA
Pour installer correctement les thèmes dans Ubuntu 17.10, il faudra d'abord utiliser un référentiel PPA, ainsi, nous obtiendrons les thèmes mis à jour automatiquement. Pour ce cas, nous utiliserons le thème Pop OS qui est un pack de thèmes complet développé par System76 pour sa propre distribution Pop OS Linux.
Ce PPA peut être installé en exécutant la commande suivante :
sudo add-apt-repository ppa: system76 / pop
Plus tard, nous mettrons à jour les packages dans le référentiel en exécutant la commande suivante :
sudo apt-get mise à jourEnfin, nous allons installer les thèmes à l'aide de la commande suivante :
sudo apt-get install pop-theme
Là, nous entrons la lettre S pour confirmer le téléchargement et l'installation des packages. Cela installera l'icône Pop OS, GTK3 et le thème GNOME Shell dans Ubuntu 17.10, et nous n'avons rien d'autre à faire, car maintenant les nouveaux thèmes seront disponibles sur le système et il suffira de les modifier.
2. Comment changer de thème dans Ubuntu 17.10 à l'aide de packages .deb
Certains développeurs de thèmes offrent gratuitement l'exécutable .deb pour le thème respectif, il suffit de télécharger le package .deb et de double-cliquer dessus pour installer le thème comme n'importe quel autre logiciel. Il existe différents sites sur le Web où nous pouvons utiliser ces thèmes, l'un des sites qui nous offre plus d'options est OpenDesktop au lien suivant :
AGRANDIR
Là, il vous suffit de sélectionner le thème souhaité, puis de le télécharger et de l'exécuter.
3. Comment installer des thèmes dans Ubuntu 17.10 à l'aide de fichiers
Étape 1
C'est l'un des moyens les plus pratiques de fournir des thèmes pour Ubuntu 17.10. Par exemple, sur le site Web gnome-looks à la recherche de thèmes, nous constaterons que les thèmes se présentent sous la forme d'un fichier zip ou tar.
Nous allons télécharger le thème Ant GTK à partir du lien suivant :
Là, nous irons dans la section "Fichiers", si nous voyons plus d'un fichier, c'est parce que le thème sélectionné a quelques variantes. Ces variantes sont similaires, mais varient quelque peu en termes d'apparence. Par exemple, il existe des thèmes avec des options sombres ou des environnements clairs, etc.
AGRANDIR
Étape 2
Une fois le thème téléchargé, nous effectuerons le processus suivant :
Nous irons dans notre dossier Accueil et utiliserons la combinaison de touches Ctrl + H pour afficher les fichiers et dossiers cachés. Si on voit les dossiers .themes et .icons tout est correct, sinon, il faudra créer ces nouveaux dossiers appelés .themes et .icons en exécutant les commandes suivantes :
mkdir ~ / .themesmkdir ~ / .icons
N'oubliez pas que lorsque le fichier de thème GTK ou GNOME Shell est téléchargé, il doit être extrait et copié du dossier .themes dans le répertoire de base, tandis que si un fichier de thème d'icône est téléchargé, nous devons l'extraire et le copier dans le dossier icônes. dans le répertoire personnel.
Nous avons donc les éléments suivants :
- .themes : pour les thèmes GTK et GNOME Shell
- .icons : pour les thèmes d'icônes
4. Comment changer le thème dans Ubuntu 17.10
Étape 1
Pour cela, nous devons utiliser l'outil de retouche que nous pouvons installer en utilisant deux méthodes :
- Depuis le centre logiciel Ubuntu
- Exécutez la ligne sudo apt install gnome-tweak-tool dans le terminal.
Étape 2
Nous pouvons accéder à cet outil depuis le moteur de recherche Ubuntu 17.10 :
Étape 3
Lorsque l'outil est affiché, nous allons dans la section Apparence et nous verrons ce qui suit :
Étape 4
Là, nous avons les options pour changer l'icône, GTK3 et le thème Shell. Nous pouvons voir un message d'avertissement dans la section GNOME Shell, c'est parce que nous n'avons pas cette extension installée, pour cela nous devons exécuter ce qui suit :
sudo apt installer gnome-shell-extensionsCette extension contient 8 à 10 extensions utiles, dont celle qui vous permettra de changer le thème du shell GNOME. Maintenant, si nous accédons à nouveau à l'outil Retouche, nous pouvons activer le commutateur Thèmes utilisateur dans la section Extensions :
Étape 5
Nous pouvons redémarrer l'application et nous verrons que l'option pour ajuster les options GNOME est désormais disponible dans Ubuntu 17.10 :
Étape 6
Maintenant, nous pouvons simplement sélectionner le meilleur thème pour Ubuntu 17.10 :
AGRANDIR
De cette façon, il sera possible d'effectuer le processus d'ajustement du thème dans ce système d'exploitation pratique et évolutif.