Vous voulez changer l'icône, le thème du shell ou même la police dans Gnome Shell mais vous ne savez pas comment? Ne pas s'inquiéter. Dans cet article, nous allons vous apprendre tout ce qu'il faut savoir sur la façon de prendre l'environnement de bureau Gnome, le personnaliser et le personnaliser. Des icônes aux curseurs de souris, extensions, polices et tout le reste; C'est le guide définitif sur la façon de personnaliser Gnome Shell. Commençons!
Toute la personnalisation de cet article est faite à l'aide de l'outil Gnome Tweak. Il est peut-être déjà installé sur votre PC Linux. Si ce n'est pas le cas, ouvrez un terminal ou un navigateur de logiciel, recherchez "Gnome Tweak Tool" et installez-le.
Contrairement à beaucoup d'autres environnements de bureau, la section apparence de Gnome Shell est très simple. Il n'est pas séparé en onglets individuels. Dans cette section, nous verrons comment changer différents aspects de l'apparence de Gnome.
Pour commencer, assurez-vous que Gnome Tweak Tool est installé. Une fois installé, ouvrez l'outil tweak et regardez vers la liste sur le côté gauche. Sélectionnez "Apparence".
Gnome est construit en grande partie grâce à la boîte à outils GTK3. Par conséquent, toutes les décorations de fenêtres et tous les contrôles de programme en dépendent. Le thème GTK est responsable de la façon dont tout cela ressemble à votre système d'exploitation. Pour changer le thème, allez dans l'outil Tweak et trouvez "GTK +".
Comment installer et utiliser TeamViewer sous Linux
Un moyen très rapide de se connecter à distance à un PC Linux sans problème est Teamviewer. C'est un outil populaire parmi les professionnels de l'informatique. En termes de logiciels, c'est difficile à battre. D'autant plus que l'outil offre non seulement un moyen rapide et facile d'accéder à distance aux PC, mais aussi de converser facilement avec la personne à l'autre bout, de partager des fichiers et même de sauvegarder les connexions PC pour plus tard.
6 Lecteurs de musique géniaux pour Linux
Trouver un bon lecteur de musique pour Linux peut être difficile car il y en a tellement à choisir. En conséquence, de nombreux utilisateurs de Linux se retrouvent souvent avec n'importe quel lecteur de musique livré avec leur environnement de bureau, ou pire, le système d'exploitation par défaut. La réalité est, il y a beaucoup de bonnes façons de profiter de la musique sur Linux, vous avez juste à regarder un peu!
