J'aimerais réessayer GNOME Shell sur Ubuntu 10.10, après l'avoir écarté en raison du gaspillage d'espace que les polices non configurables provoquaient (j'utilise un netbook). J'ai lu l'existence de GNOME Tweak Tool et je me suis demandé si je pouvais l'utiliser pour personnaliser l'interface Shell. Toute aide est la bienvenue.
Réponse
Trop de publicités?
Knowledge Cube
Points
14265
Tout comme GNOME Shell, vous devriez être en mesure de compiler l'outil de personnalisation de GNOME à partir de sa page d'accueil. Dépôt git ainsi. Je ne vois pas pourquoi il y aurait des incompatibilités si vous utilisez la dernière version des deux, puisqu'il semble que les deux soient supportés par GNOME.
0 votes
J'utilise simplement 10.04 LTS ou BSD sur les netbooks. Vous POUVEZ choisir de ne pas avoir le "Nouvel" environnement de bureau gnome Shell si c'est ce dont vous parlez, mais je ne pensais pas que cela se produisait avant 11... Quoi qu'il en soit, j'ai des polices de taille acceptable par défaut sur un Acer Aspire. Peut-être que c'est une autre bizarrerie.