Format de date du panneau (barre supérieure) ne reflétant pas les paramètres de langue et de région (Installation minimale d'Ubuntu 18.04)
Les paramètres de langue et de région que j’ai configurés pour le Royaume-Uni sont les suivants: 
Pourtant, le panneau montre la date dans le format: 'Mardi 8 mai'
Y a-t-il un truc qui me manque?
En outre, je ne vois nulle part où personnaliser davantage le format de date à l'aide des codes, par exemple. % Y-% m-% d (pour le format de date ISO 8601)
J'ai noté qu'il existe une extension GNOME Shell: Format de date/heure, qui semble permettre une personnalisation plus poussée, mais je préférerais utiliser les fonctionnalités principales dans la mesure du possible.
C'est une question similaire à this une, mais la question de 17.10 reste sans réponse et j'ai eu l'impression que GNOME dans 17.10 était un peu précoce et peut-être pas complètement formé.
Mise à jour: Il existe un moyen (sans extension) d’atteindre le format de date et d’heure de votre choix en modifiant et en implémentant le format approprié LC_MESSAGES de la localisation de gnome.desktop, comme décrit ici
Cela semble être un problème avec GNOME Shell.
Mais vous pouvez remplacer le format de date à l'aide d'un extension de GNOME Shell appelé remplacement d'horloge . Il vous permet
Remplacez l’horloge Gnome Shell par un nouveau format d’heure ou du texte de votre choix.
Il prend en charge le format format strftime de Python (vous pourrez donc définir votre format préféré "%d/%m/%y" à afficher).
