Bonjour,
j’utilise une Debian Wheezy 7.4 avec Gnome 3.4.2.
Je souhaiterais changer le thème, j’ai vu qu’il faut utiliser l’extension “User-theme”, mais lorsque je me rend dans “Paramètres Avancés” puis “Extension du Shell” ce dernier est complètement vide.
Si je passe la commande:
je vois pourtant que les extensions sont bien présentes donc que faire pour les voir apparente dans la section “Extension du Shell” ?
Merci d’avance,
DeadKnights
pour changer de thème il faut d’abord que tu en télécharges un nouveau car il n’y en a pas par défaut.
tu trouveras des gnome-shell themes sur gnome-look ou sur deviantart
la difficulté sera d’en trouver un compatible avec gnome 3.4 puisque la plupart des distributions est en version 3.10
J’en avais déjà télécharger un mais je ne sais pas s’il est compatible du coup je n’ai pas fait attention à sa. De plus, je suis obligé d’en prendre qui me donnera un environnement proche de Windows XP ou plus récent car je prépare un redéploiement du parc informatique et on m’a explicitement demandé qu’une fois terminé les utilisateurs ne soient pas déroutés par Linux donc leur proposé quelque chose qu’ils connaissent.
je ne vois pas comment gnome-shell pourrait ressembler a windows.
il vaut mieux prendre KDE (qui est sa copie conforme 
)