Ce qui est une mauvaise idée. En plus d'impacter tous les utilisateurs, en cas de mise à jour de GNOME Shell toutes les modifications sont perdues. Le plus raisonnable serait de créer son propre thème GNOME Shell basé sur celui par défaut :modmol wrote:Désolé pour le retard, oui effectivement j'ai modifié la taille des icones, ce n'est pas trés compliqué, c'est expliqué là
- en créant un dossier ~/.themes/monTheme/ dans son dossier utilisateur ;
- en copiant tout le contenu du dossier /usr/share/gnome-shell/theme/* dans ~/.themes/monTheme/ ;
- en modifiant le fichier gnome-shell.css copié dans ~/.themes/monTheme/ ;
- en basculant sur le thème nouvellement créé avec gnome-tweak-tool ou gsettings, en ayant préalablement installé le paquet gnome-shell-extensions-user-theme.