Bonjour,

Juste une petite demander car je ne sais pas comment faire autrement, mais pouvez-vous me partager un lien vers le contenu originel de
/usr/share/gnome-shell/theme/
Si il vous plaît, parce que j'ai bêtement remplacé l'ancien skin par un autre et j'ai fait ça vraiment à l'arrache.
J'aurais dû prendre le temps de regarder ce que proposait gnome-shell-extension.

Merci d'avance 🙂
Bonjour,

la commande suivante devrait réparer ta gaffe :
yum reinstall gnome-shell
Effectivement, c'est simple, rapide et efficace. J'aime 🙂

Merci beaucoup !