Questions marquées «gnome»

20
Comment puis-je changer le thème du shell GNOME?

J'ai installé le shell GNOME dans Ubuntu 12.04 et je veux changer le "thème du shell", mais cela ne me permet pas de le faire. L'alerte dit quelque chose comme: "L'extension GNOME-Shell n'est pas activée", et je veux l'installer avec la console, mais cela me renvoie une erreur. Comment puis-je...

20
Comment modifier les paramètres DPI de police?

J'ai installé Oneiric sur un système propre et j'ai constaté que l'onglet de police avait disparu des paramètres d'apparence. C'est un problème, car par défaut le texte dans Ubuntu est trop volumineux. J'ai changé le texte de normal à petit dans les paramètres d'accès universel, mais c'était bien...

20
Comment passer à la dernière version de GNOME?

J'utilise Ubuntu 15.04. J'ai installé GNOME en plus de cela. J'utilise maintenant GNOME Shell. J'ai entendu que 3.16 a de nombreuses améliorations. Je pense à une mise à niveau. Ma question est la suivante: si je mets à niveau vers GNOME 3.16, pourrai-je passer à la prochaine version d'Ubuntu...

19
Où Nautilus stocke-t-il les noms de signets?

Si je crée un signet avec Nautilus, son emplacement est stocké sur ~ / .gtk-bookmarks, mais pas son nom. J'ai créé un signet de test nommé bizarre, et j'ai essayé de faire un grep sur ma maison pour ce nom, et je n'ai rien trouvé. Où Nautilus stocke-t-il les noms de