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
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
tutoriel:personnaliser_gnome [Le 12/04/2018, 00:19]
krodelabestiole [Utilitaires pour personnaliser GNOME Shell] lien apt gnome-tweak-tool
tutoriel:personnaliser_gnome [Le 10/09/2018, 21:00]
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>​gnome-session]])).
  
 ===== Session GNOME Shell ===== ===== Session GNOME Shell =====
  • tutoriel/personnaliser_gnome.txt
  • Dernière modification: Le 23/06/2023, 08:17
  • par 78.194.210.91