Personnalisation du système GNOME

Personnalisation du système GNOME

Fonctionnes sur toutes les distributions GNOME à partir de GNOME 4x

La personnalisation est séparée en 2 parties :

  • Les thèmes
  • Les extensions

La personnalisation permet aussi de garantir l’accessibilité aux personnes en difficulté

Thèmes

Pour changer un thème gnome et pouvoir mieux personnaliser son système, il faut installer l’application gnome-tweaks avec la commande suivante :

sudo apt install gnome-tweaks

L’application apparaitra sous le nom de « Tweaks ». Il est déjà possible de personnaliser plusieurs aspects du système.

Dans les thèmes, il y a 2 aspects important :

  • Le thème du shell
  • Le thème du système

Le thème du shell est l’apparence des fenêtres, des applications, alors que le thème du système est l’apparence des éléments système de l’OS.

Les options de personnalisation définissable dans les paramètres système ont une influence directement sur les thèmes. Par exemple, si je change la couleur de mon système avec un accent violet, le thème changera dans Tweaks pour « Yaru-purple »

Pour ajouter un thème a Gnome, sans passer par les extensions, il faut effectuer les étapes suivantes:

  1. Se rendre sur un site de thème comme gnome-look
  2. Télécharger un thème voulu avec le bouton « Download »
  3. Ouvrir un terminal
  4. Insérer la commande :
cd ~ && mkdir .themes

Cela va créer un dossier .themes dans le dossier utilisateur

3. Entrer la commande:

cp chemin_theme ~/.themes

Remplacer chemin_theme par l’emplacement du fichier du thème téléchargé4

4. Entrer la commande :

cd ~/.themes && tar -xvzf NOM_THEME.tar.gz 

Remplacer NOM_THEME par le fichier copié précédemment. Cela va dezipper le thème

5. Aller dans Tweaks, puis apparence, et le thème sera disponible

Extensions

Avant de pouvoir installer des extensions, il faut installer gnome-browser-connector, qui fera le lien entre les extensions et le site.

sudo apt-get install chrome-gnome-shell

Ensuite, se rendre sur le site des extensions et le site va proposer d’installer une extension pour le navigateur. Il est nécessaire de l’installer.

Il est maintenant possible de télécharger les extensions que vous souhaitez et personnaliser votre système !