Je ne savais pas que c’était possible, et je n’aurais jamais cherché à le faire si je ne l’avais pas vu sur un screenshot, mais voici comment customiser le format de l’horloge affichée dans le panel de Gnome.
Lancer gconf-editor et naviguer jusqu’à la section /apps/panels/applets/clock_screen0. Modifier ensuite les paramètres custom_format et format comme suit:
custom_format: <span color=”#d0d0d0″><i>%a %d %b</i></span> <b>%H:%M</b>
format: custom
format: custom
Voici le résultat pour les paramètres ci-dessus: 
