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 12/04/2018, 00:19]
krodelabestiole [Utilitaires pour personnaliser GNOME Shell] lien apt gnome-tweak-tool
tutoriel:personnaliser_gnome [Le 19/08/2018, 13:43] (Version actuelle)
88.181.16.154 [Session Ubuntu]
Ligne 12: Ligne 12:
 ^ L'​interface par défaut d'​Ubuntu depuis la version [[:17.10]] ^ ^ L'​interface par défaut d'​Ubuntu depuis la version [[:17.10]] ^
  
-En dehors du dock latéral et du thème graphique, la session par défaut d'​Ubuntu,​ à partir de la version 17.10, se personnalise comme la session GNOME Shell normale (voire la partie suivante).+En dehors du dock latéral et du thème graphique, la session par défaut d'​Ubuntu,​ à partir de la version 17.10, se personnalise comme la session GNOME Shell normale (voir la partie suivante).
  
 Pour désactiver le //dock// latéral, il est en revanche nécessaire d'​installer la session GNOME Shell minimale(([[:​tutoriel:​comment_installer_un_paquet|installez le paquet]] [[apt>​install gnome-session]])). Pour désactiver le //dock// latéral, il est en revanche nécessaire d'​installer la session GNOME Shell minimale(([[:​tutoriel:​comment_installer_un_paquet|installez le paquet]] [[apt>​install gnome-session]])).
  • tutoriel/personnaliser_gnome.txt
  • Dernière modification: Le 19/08/2018, 13:43
  • par 88.181.16.154