Есть ли способ настроить форматирование даты / времени на экране входа в систему GNOME 3 и на рабочем столе?

Я специально ищу, чтобы изменить форматирование в двух местах:

На рабочем столе дата / время читаются как «Сб 21:05». Я хотел бы прочитать «23 июля 11 21:05» или «23 июля 11 21:05». Другими словами, я хочу изменить отображение дня недели для отображения дня, короткого названия месяца и короткого года.

На экране входа в систему дата / время читаются как «Сб 9:06 вечера». Я хотел бы изменить его либо на рабочий стол («23-июл-11 21:05» или «23 июля 11 21:05»), либо на предпочтительное отображение полной даты в формате («суббота, 23»). Июль 2011 21:05 "), где отображается полный день, дата, полный месяц, полный год и время (в 24-часовом формате).

Я не вижу никаких вариантов, чтобы настроить это. Я подозреваю, что это возможно, но я не уверен, в каком конфигурационном файле он будет, или какие параметры я бы настроил.

Я создал gnome-shellрасширение для изменения формата даты и времени в строке состояния и меню даты: https://github.com/Daniel-Khodabakhsh/datetime-format

В Gnome3 у вас есть два варианта (ни один из них, насколько я могу судить, в настоящее время не сделает все то, что вы ищете):

1 Используйте инструмент командной строки gsettings:

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

2 Установите Gnome Tweak Tool и активируйте дату таким образом.

Кажется, более настраиваемые параметры еще не были реализованы.