Questions marquées «gnome»

21
Comment changer le format de date dans le shell Gnome 3?

Je veux changer le format de date / heure sur le panneau supérieur en un format proche de RFC 3339 / ISO 8601, comme l'un d'eux: %F %T → 2013-06-24 16:13:00 %F %a %T → 2013-06-24 lun 16:13:00 %A %F %T → lundi 2013-06-24 16:13:00 Je sais qu'Unity a une préférence quelque part cachée dans dconf,...

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
Retard de souris sur Ubuntu 17.10

J'ai téléchargé Ubuntu 17.10 récemment, et j'ai découvert que si vous déplacez le curseur sur la barre supérieure, la souris commence à traîner. (surtout si vous ouvrez l'un des onglets de la barre supérieure, puis déplacez votre souris sur la barre). Je pensais que c'était le seul problème avec la...