Changer l'affichage de l'heure pour ajouter la date

L'affichage par défaut du shell gnome est un peu pauvre : seul le jour et l'heure sont affichés :
dim. 19:30

Pour ajouter la date, il suffit de taper dans un terminal :

gsettings set org.gnome.shell.clock show-date true

Ce qui fait que le jour, la date et l'heure sont visibles désormais :
dim. 10 juil.,19:30

Pour revenir à l'affichage initial : même commande passée avec le paramètre false.

D'autres astuces trouvées sur cette page :

http://www.tux-planet.fr/toutes-les-astuces-pour-gnome-shell/