Apakah ada cara untuk menyesuaikan format tanggal / waktu di layar login dan desktop GNOME 3?

Saya secara khusus ingin mengubah pemformatan di dua tempat:

Di desktop, tanggal / waktu berbunyi "Sat 21:05". Saya ingin membaca "23-Jul-11 21:05" atau "23 Jul 11 ​​21:05". Dengan kata lain, saya ingin mengubah tampilan hari dalam seminggu untuk menampilkan hari, nama bulan pendek, dan tahun pendek.

Pada layar login, tanggal / waktu berbunyi "Sabtu 21:06". Saya ingin mengubahnya menjadi sama dengan desktop ("23-Jul-11 21:05" atau "23 Jul 11 ​​21:05") atau tampilan yang disukai dari tanggal penuh dalam format ("Sabtu, 23 Juli 2011 21:05 ") di mana hari penuh, tanggal, bulan penuh, tahun penuh, dan waktu (dalam format 24 jam) ditampilkan.

Saya tidak melihat opsi untuk menyesuaikan ini. Saya akan curiga itu mungkin, tetapi saya tidak yakin file konfigurasi apa yang akan ada atau opsi apa yang akan saya sesuaikan.

Saya membuat gnome-shellekstensi untuk mengubah format datetime dari bilah status dan menu tanggal: https://github.com/Daniel-Khodabakhsh/datetime-format

Di Gnome3 Anda memiliki dua pilihan (tidak satu pun dari mereka, dari apa yang dapat saya katakan, saat ini akan melakukan semua yang Anda cari):

1 Gunakan alat baris perintah gsettings:

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

2 Instal Gnome Tweak Tool dan aktifkan tanggal dengan cara itu.

Tampaknya lebih banyak opsi yang dapat disesuaikan belum diimplementasikan.