Comment installer le thème Pop GTK sur Linux

L’un des plus grands fabricants de PC Linux a maintenant son propre thème de bureau; le thème Pop GTK Il est conçu pour GTK et fonctionne bien avec Gnome Shell, Gnome Shell, Gnome Classic, Unity 7, Xfce, Mate LXDE et même Budgie. Le thème lui-même est basé sur le thème populaire Materia.

ALERTE SPOILER: faites défiler vers le bas et regardez le didacticiel vidéo à la fin de cet article.

Dans l’ensemble, le thème Pop GTK est principalement destiné à la distribution Linux Pop OS de System 76. Pop OS utilise Ubuntu comme base, il n’est donc pas surprenant que les principales instructions de ce thème soient centrées autour de lui. Cependant, ce n’est pas parce que le système 76 préfère que vous l’installiez sur Pop OS qu’il ne soit pas possible de l’utiliser sur d’autres distributions Linux.

Dans ce tutoriel, nous allons expliquer exactement comment installer le thème Pop GTK pour toutes les principales distributions Linux. De plus, nous verrons comment installer le thème d’icônes Pop (indispensable lors de l’utilisation de ce thème GTK).

Installation des dépendances

Il existe plusieurs bibliothèques et outils importants nécessaires pour que Pop se crée correctement. Plus précisément, vous aurez besoin de Sassc, Inkscape, Optipng et Libglib2. De plus, Git est requis pour interagir avec le référentiel Github du thème System76 Pop. Ouvrez un terminal et suivez les instructions.

  Intéressé par le HomePod mini? Voici ce que vous devez savoir

Ubuntu

sudo apt install libsass0 sassc inkscape optipng libglib2.0-dev-bin git gtk2-engines-murrine gtk2-engines-pixbuf

Debian

sudo apt-get install libsass0 sassc inkscape optipng libglib2.0-dev-bin git gtk2-engines-murrine gtk2-engines-pixbuf

Feutre

sudo dnf install inkscape optipng gtk-murrine-engine sassc git

OpenSUSE

sudo zypper install install inkscape optipng gtk-murrine-engine sassc git

Autres Linux

Construire le thème sur des distributions Linux non mentionnées n’est pas impossible, mais pas aussi facile que les systèmes d’exploitation répertoriés. Pour démarrer sur une distribution Linux moins connue, rendez-vous sur Pkgs.org et recherchez les différentes dépendances dont vous aurez besoin pour créer le code. De plus, pensez à consulter la page officielle Github du thème, car cela peut également vous aider. Assurez-vous également de consulter le Wiki officiel de votre système d’exploitation pour ces paquets.

Voici les éléments dont vous aurez besoin dans une liste facile à lire:

sassc
git
Inkscape
optipng
moteur-gtk-murrine

Installer le thème Pop GTK à partir de la source

Maintenant que les fichiers et bibliothèques importants sont présents sur le système, nous pouvons extraire le code directement de Github et commencer à créer le thème Pop. Commencez par ouvrir une fenêtre de terminal et utilisez l’outil Git pour tout télécharger. Gardez à l’esprit que cette partie du guide n’a pas besoin d’un accès sudo ou root.

git clone https://github.com/pop-os/gtk-theme

Laissez Git télécharger le code source. Une fois terminé, utilisez l’outil MV pour renommer le dossier de gtk-theme en quelque chose de plus approprié. Ce n’est pas obligatoire, mais cela aidera car le téléchargeur Git attribue au dossier une étiquette générique et vous risquez d’oublier à quoi sert le dossier.

mv gtk-theme pop-theme

Ensuite, utilisez la commande CD pour changer de répertoire à partir duquel le terminal a démarré vers le dossier de thème Pop nouvellement créé.

cd pop-theme

Le téléchargement du code source depuis Github signifie que le thème n’est pas dans un état utilisable. Pour changer cela, vous devrez exécuter la commande make.

make

Make compilera rapidement le thème et le changera d’inutilisable en utilisable. À partir de là, utilisez make install. À ce stade, vous pouvez utiliser sudo, car nous voulons que le thème Pop soit installé pour chaque utilisateur.

sudo make install

Installer via Ubuntu PPA

Êtes-vous un utilisateur d’Ubuntu et n’avez pas vraiment envie de vous donner la peine de créer le thème Pop GTK à partir de la source? Si tel est le cas, vous avez de la chance car un PPA est disponible. Pour activer le PPA, ouvrez d’abord une fenêtre de terminal. Une fois ouvert, entrez la commande suivante:

sudo add-apt-repository ppa:system76/pop

Le nouveau Pop PPA est sur votre PC Ubuntu. Ensuite, mettez à jour les sources logicielles d’Ubuntu afin qu’il puisse voir le nouveau PPA et vous permettre d’installer le logiciel à partir de celui-ci.

sudo apt update

Après la mise à jour, vous remarquerez peut-être que certaines mises à jour sont disponibles pour l’installation. Éliminez-les rapidement grâce à la commande upgrade.

sudo apt upgrade -y

Enfin, installez le nouveau thème Pop GTK avec apt install.

sudo apt install pop-gtk-theme

Besoin de désinstaller le thème? Essayez apt désinstaller:

sudo apt uninstall pop-gtk-theme

Installer via le référentiel d’utilisateurs Arch Linux

Les utilisateurs d’Arch ont la tâche facile, car la compilation et l’installation du thème Pop GTK sont beaucoup plus faciles. Le faire fonctionner commence par installer l’outil Git avec l’outil d’empaquetage Pacman.

sudo pacman -S git

À partir de là, utilisez Git pour télécharger le dernier fichier pkgbuild du thème Pop à partir de l’AUR.

git clone https://aur.archlinux.org/pop-gtk-theme-bin.git

Thème d’icône pop

System76 recommande aux utilisateurs du thème Pop GTK d’installer également le thème d’icônes Pop. Si vous avez déjà ajouté le Pop PPA sur Ubuntu, installer le thème de l’icône est aussi simple que:

sudo apt install pop-icon-theme

Autrement, visitez ce Git pour apprendre à créer et installer le thème à partir de zéro.

  Comment modifier une icône de vignette d'application Chrome dans le menu Démarrer sous Windows 10

Activation du thème Pop GTK

Comme mentionné précédemment, Pop prend en charge tous les principaux environnements de bureau GTK. Une fois qu’il est créé et installé, activez-le via les paramètres de thème de votre environnement de bureau. Vous rencontrez des difficultés pour activer ces thèmes? Si tel est le cas, rendez-vous service et consultez nos guides de personnalisation détaillés. Ils expliquent en détail comment appliquer les thèmes!