Чи можна налаштувати форматування дати / часу на екрані входу GNOME 3 та на робочому столі?

Я спеціально прагну змінити форматування у двох місцях:

На робочому столі дата / час звучить "Сб 21:05". Мені б хотілося, щоб він прочитав "23-липня-11 21:05" або "23 липня 21:05". Іншими словами, я хочу змінити показ дня тижня, щоб відобразити день, назву короткого місяця та короткий рік.

На екрані входу дата / час звучить "Сб 21: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 та активуйте дату таким чином.

Здається, що ще налаштовані варіанти ще не реалізовані.