Heu... Oui et... Non!
Gnome tweak c'est le gestionnaire d'extensions et un set de boutons offrant un accès rapide à des variables/options dconf.
Et il est empaqueté avec un set d'extensions d'office compatibles avec la version de GNOME fournie par la même distribution.. Du moins, sous Debian et Ubuntu, je n'ai pas testé sous MageiaLinuxJaro OS.
Donc quand je mentionnais "Gnome Tweak Tool" comblant le manque, c'est de base, sans étape ou téléchargement en plus.
[^] # Re: personnalisable (non, là, je plaisante, en revanche) ha bon
Posté par Le Gab . En réponse à la dépêche GNOME 3.22 Karlsruhe : A Land Far, Far Away. Évalué à 2.
Heu... Oui et... Non!
Gnome tweak c'est le gestionnaire d'extensions et un set de boutons offrant un accès rapide à des variables/options dconf.
Et il est empaqueté avec un set d'extensions d'office compatibles avec la version de GNOME fournie par la même distribution.. Du moins, sous Debian et Ubuntu, je n'ai pas testé sous MageiaLinuxJaro OS.
Donc quand je mentionnais "Gnome Tweak Tool" comblant le manque, c'est de base, sans étape ou téléchargement en plus.