Я использую Ubuntu 20.04 LTS. Я хочу, чтобы дата и время в верхней панели GNOME Shell имели следующий формат:
Sun Jun 13 07:26AM IST 2021
вместо текущего:
Jun 13 12:53 PM
Как этого добиться?
На веб-сайте GNOME Shell Extensions есть несколько расширений, но большинство из них больше не поддерживаются активно. Я предлагаю вам использовать расширение Panel Date Format, которое отлично работает на Ubuntu 20.04 и до сих пор поддерживается.
Прочитайте этот вопрос о том, как установить расширения GNOME Shell: Как установить расширения GNOME Shell и управлять ими?
Чтобы настроить часы после установки расширения, выполните следующие действия:
Откройте расширения, найдите в списке расширение Panel Date Format и щелкните значок шестеренки рядом с ним.
Вам будет представлено это меню настроек (изображение из репозитория расширения GitHub):
В текстовом поле Формат введите следующее, чтобы получить нужный формат времени:
%a %e %b %I:%M%p %Z %Y
Вы можете найти более подробную информацию о синтаксисе формата даты и времени здесь (ссылка также упоминается в настройках расширения).
Перезапустите GNOME Shell, чтобы убедиться, что настройка применена, нажав Alt+F2, введя r
и нажав Enter.
Часы вашей панели теперь должны иметь желаемый внешний вид!