Esiste un modo per regolare la formattazione della data / ora nella schermata di accesso e sul desktop di GNOME 3?

In particolare, sto cercando di modificare la formattazione in due punti:

Sul desktop, la data / ora indica "Sab 21:05". Vorrei che leggesse "23-lug-11 21:05" o "23 lug 11 21:05". In altre parole, voglio cambiare la visualizzazione del giorno della settimana per visualizzare il giorno, il nome del mese breve e l'anno breve.

Nella schermata di accesso, la data / ora indica "Sab 21:06". Vorrei cambiarlo con lo stesso del desktop ("23-lug-11 21:05" o "23 lug 11 21:05") o con la visualizzazione preferita della data completa nel formato ("sabato, 23 Luglio 2011 21:05 ") in cui viene visualizzato il giorno intero, la data, il mese intero, l'anno completo e l'ora (nel formato 24 ore).

Non vedo alcuna opzione per modificare questo. Sospetto che sia possibile, ma non sono sicuro del file di configurazione in cui si troverebbe o delle opzioni da modificare.

Ho creato gnome-shellun'estensione per modificare il formato datetime della barra di stato e del menu della data: https://github.com/Daniel-Khodabakhsh/datetime-format

In Gnome3 hai due scelte (nessuna delle due, da quello che posso dire, attualmente farà tutto ciò che stai cercando):

1 Utilizzare lo strumento da riga di comando gsettings:

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

2 Installa Gnome Tweak Tool e attiva la data in quel modo.

Sembra che non siano ancora state implementate opzioni più personalizzabili.