Czy istnieje sposób na dostosowanie formatowania daty / godziny na ekranie logowania GNOME 3 i pulpicie?

W szczególności chcę zmienić formatowanie w dwóch miejscach:

Na pulpicie data / godzina brzmi „Sob 21:05”. Chciałbym, aby brzmiało to „23-lip-11 21:05” lub „23 lipca 11 21:05”. Innymi słowy, chcę zmienić sposób wyświetlania dnia tygodnia, aby wyświetlał dzień, nazwę krótkiego miesiąca i krótki rok.

Na ekranie logowania data / godzina brzmi „Sob 21:06”. Chciałbym zmienić go na taki sam jak na pulpicie („23-lip-11 21:05” lub „23 lipca 11 21:05”) lub preferowane wyświetlanie pełnej daty w formacie („sobota, 23 Lipiec 2011 21:05 ”), gdzie wyświetlany jest pełny dzień, data, pełny miesiąc, pełny rok i godzina (w formacie 24-godzinnym).

Nie widzę żadnych opcji, aby to zmienić. Podejrzewam, że jest to możliwe, ale nie jestem pewien, w jakim pliku konfiguracyjnym byłby ani jakie opcje bym dostosował.

Utworzyłem gnome-shellrozszerzenie, aby zmienić format daty i godziny paska stanu i menu daty: https://github.com/Daniel-Khodabakhsh/datetime-format

W Gnome3 masz dwie możliwości (żadna z nich, z tego co wiem, obecnie nie zrobi wszystkiego, czego szukasz):

1 Użyj narzędzia wiersza poleceń gsettings:

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

2 Zainstaluj narzędzie Gnome Tweak Tool i aktywuj w ten sposób datę.

Wygląda na to, że jeszcze nie można zaimplementować bardziej konfigurowalnych opcji.