Existe-t-il un moyen d'ajuster le formatage de la date / heure dans l'écran de connexion et le bureau GNOME 3?

Je cherche spécifiquement à changer la mise en forme à deux endroits:

Sur le bureau, la date / heure indique "Sam 21:05". Je voudrais qu'il se lit "23-Jul-11 21:05" ou "23 Jul 11 ​​21:05". En d'autres termes, je souhaite modifier l'affichage du jour de la semaine pour afficher le jour, le nom du mois court et l'année courte.

Sur l'écran de connexion, la date / heure indique "Sam 21h06". Je voudrais le changer pour le même que le bureau ("23-Jul-11 21:05" ou "23 Jul 11 ​​21:05") ou l'affichage préféré de la date complète dans le format ("Samedi 23 Juillet 2011 21:05 ") où le jour complet, la date, le mois complet, l'année complète et l'heure (au format 24 heures) est affiché.

Je ne vois aucune option pour régler cela. Je soupçonne que c'est possible, mais je ne sais pas dans quel fichier de configuration il se trouverait ni dans quelles options j'ajusterais.

J'ai créé une gnome-shellextension pour changer le format datetime de la barre d'état et du menu date: https://github.com/Daniel-Khodabakhsh/datetime-format

Dans Gnome3, vous avez deux choix (aucun d'eux, d'après ce que je peux dire, ne fera actuellement tout ce que vous recherchez):

1 Utilisez l'outil de ligne de commande gsettings:

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

2 Installez Gnome Tweak Tool et activez la date de cette façon.

Il semble que des options plus personnalisables n'aient pas encore été implémentées.