Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:personnaliser_gnome [Le 10/02/2018, 23:12]
Roschan session ubuntu
tutoriel:personnaliser_gnome [Le 12/04/2018, 00:19] (Version actuelle)
krodelabestiole [Utilitaires pour personnaliser GNOME Shell] lien apt gnome-tweak-tool
Ligne 109: Ligne 109:
 Beaucoup de manipulations peuvent se faire avec **[[:​gnome-tweak-tool|l'​outil de personnalisation (article dédié)]]**. En anglais, cet outil se nomme "GNOME Tweak Tool". Depuis Ubuntu 17.10, on trouvera plutôt les dénominations "GNOME Tweaks"​ (en anglais) et "​**Ajustements**"​ (en français). Beaucoup de manipulations peuvent se faire avec **[[:​gnome-tweak-tool|l'​outil de personnalisation (article dédié)]]**. En anglais, cet outil se nomme "GNOME Tweak Tool". Depuis Ubuntu 17.10, on trouvera plutôt les dénominations "GNOME Tweaks"​ (en anglais) et "​**Ajustements**"​ (en français).
  
-<note help>Cet utilitaire n'est pas présent par défaut, il faut l'​installer depuis la [[:gnome-software|logithèque]].</​note>​+<note help>Cet utilitaire n'est pas présent par défaut, il faut [[:tutoriel:​comment_installer_un_paquet|installer le paquet]] **[[apt>gnome-tweak-tool]]**.</​note>​
  
 On ne parlera ici que des catégories les plus intéressantes :  On ne parlera ici que des catégories les plus intéressantes : 
  • tutoriel/personnaliser_gnome.txt
  • Dernière modification: Le 12/04/2018, 00:19
  • par krodelabestiole