Différences
Ci-dessous, les différences entre deux révisions de la page.
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 ===== |