La date et l'heure qui s'affichent au centre de la barre du haut sont de la forme ; ven 01:45 et j'aimerai qu'elle soit sous la forme ven 6 mai 01:45... bref, qu'elle ajoute le numéro du jour et le mois. J'ai vu des copies d'écran qui l'affichaient de cette façon (ici : http://live.gnome.org/GnomeShell/CheatSheet notamment) mais je n'ai pas encore trouvé comment faire : les préférences de la date ne me permettent que de choisir le format 24h et l'heure réseau. Pas de possibilité d'ajouter des informations.
Des idées ?
EDIT: j'ai trouvé la solution, il suffit de faire :
Code : Tout sélectionner
$ gsettings set org.gnome.shell.clock show-date true