Le Garage hermétique

Les réglages de l'horloge sont assez sommaires :

Même en passant par Gnome Tweak Tool :

Il n'y a apparement aucun moyen de changer le format de la date.

Cependant en modifiant un fichier système (donc une modification risquée que vous ne devez faire qu'en tout connaissance), c'est possible.

Le fichier en question est dateMenu.js, situé dans le répertoire /usr/share/gnome-shell/js/ui. Pour l'éditer :

sudo gedit /usr/share/gnome-shell/js/ui/dateMenu.js

Cherchez les lignes qui ont cette allure là (vers la 170è ligne) :

switch (format) {
case '24h':
if (showDate)
/* Translators: This is the time format with date used
in 24-hour mode. */
clockFormat = showSeconds ? _("%a %e %b, %R:%S") /* c'est le format de la date et de l'heure en mode 24h avec secondes */
 : _("%a %e %b, %R"); /* c'est le format de la date et de l'heure en mode 24h sans seconde */
else
/* Translators: This is the time format without date used in 24-hour mode. */
clockFormat = showSeconds ? _("%R:%S") /* c'est le format de l'heure sans date en mode 24h avec secondes */
 : _("%R"); /* c'est le format de l'heure sans date en mode 24h sans seconde */
break;
case '12h':
default:
if (showDate)
/* Translators: This is a time format with date used for AM/PM. */
clockFormat = showSeconds ? _("%a %e %b, %l:%M:%S %p") /* c'est le format de la date et de l'heure en mode 12h avec secondes */
 : _("%a %e %b, %l:%M %p"); /* c'est le format de la date et de l'heure en mode 24h sans seconde */
else
/* Translators: This is a time format without date used for AM/PM. */
clockFormat = showSeconds ? _("%a %l:%M:%S %p") /* c'est le format de l'heure sans date en mode 12h avec secondes */
 : _("%a %l:%M %p"); /* c'est le format de l'heure sans date en mode 12h sans seconde */
break;
}
let displayDate = new Date();
this._clock.set_text(displayDate.toLocaleFormat(clockFormat));
/* Translators: This is the date format to use when the calendar popup is shown - it is shown just below the time in the shell (e.g. "Tue 9:29 AM"). */
dateFormat = _("%A %e %B, %Y"); /* c'est le format de la date dans le titre du calendrier */
this._date.set_text(displayDate.toLocaleFormat(dateFormat));
Mainloop.timeout_add_seconds(1, Lang.bind(this, this._updateClockAndDate));
return false;
},

Et modifiez les 'clockFormat' en suivant les conventions habituelles, résumées ici.

Dans les lignes ci-dessus, j'ai choisi de ne pas afficher le jour de la semaine en mode 'pas de date' (c'était le cas par défaut sur ma distribution), et d'afficher la date en format 'mer. 29 févr., 23:47' dans le panneau principal.

PS : En cas de mise à jour par le système de ce fichier, il faudra recommencer la manipulation.