Comment faire pour y parvenir ? Gnome tweak tool ne se lance pas sous gnome 3 et je veux savoir s'il existe un autre moyen de changer le thème de la coque. Merci.
Réponses
Trop de publicités?
- Faites sudo nautilus dans votre émulateur de terminal préféré.
- Navigatez jusqu'à usr/share/themes/
- Déposez le dossier du thème (devrait être le nom du thème, et avoir un dossier à l'intérieur appelé gnome-shell)
- Renommez le dossier default en oldefault
- Renommez le nouveau dossier du thème en default.
- Ouvrez la boîte de dialogue d'exécution et tapez r
- C'est fait!
Ryan R
Points
41
J'ai eu le même problème, mais j'ai pu désinstaller facilement l'extension via la page web des extensions de la coquille GNOME : https://extensions.gnome.org/local/
