Comment personnaliser le shell Gnome


Comment personnaliser le shell Gnome

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!

Tweak Tool

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.

Apparence

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

Thème GTK

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 Discord sous Linux

Comment installer Discord sous Linux

Discord est un client de messagerie texte / voix et vidéo pour les joueurs qui gagne rapidement en popularité. Récemment, le programme a annoncé le support de Linux, ce qui signifie que vous pouvez maintenant utiliser le client de chat populaire sur n'importe quelle distribution Linux. Voici comment vous pouvez installer Discord sous Linux Discord sur Ubuntu Comme Ubuntu est le système d'exploitation Linux le plus populaire, les développeurs de Discord ont décidé de le cibler par défaut.

(Linux)

Quelle version d'Ubuntu devrais-je utiliser?

Quelle version d'Ubuntu devrais-je utiliser?

Il existe plusieurs types d'Ubuntu. De différentes saveurs, pour sortir des versions, il y a beaucoup à couvrir. Si vous cherchez à essayer Ubuntu pour la première fois, comprendre cette information peut faire la différence entre une bonne expérience et une mauvaise expérience. C'est pour cette raison que nous décomposerons les différentes versions d'Ubuntu.

(Linux)