Вопрос или проблема
Я использую Ubuntu 20.04 LTS. Я хочу, чтобы дата и время в верхней панели GNOME Shell имели следующий формат:
Sun Jun 13 07:26AM IST 2021
вместо текущего:
Jun 13 12:53 PM
Как это сделать?
Для версий GNOME до 44 (Ubuntu 23.04)
Существует несколько расширений на сайте GNOME Shell Extensions, но большинство из них больше не поддерживаются. Я предлагаю вам использовать расширение Panel Date Format, которое хорошо работает на Ubuntu 20.04 и все еще поддерживается.
- Прочитайте этот вопрос о том, как установить расширения GNOME Shell: Как установить и управлять расширениями GNOME Shell?
Чтобы настроить свои часы после установки расширения, выполните следующие действия:
-
Откройте Extensions, найдите в списке расширение Panel Date Format и нажмите на иконку шестеренки рядом с ним.
-
Вы увидите следующее меню Preferences (изображение из репозитория GitHub расширения):
-
В текстовом поле Format введите следующее, чтобы получить желаемый формат времени:
%a %e %b %I:%M%p %Z %YБольше информации о синтаксисе формата даты и времени можно найти здесь (ссылка также указана в настройках расширения).
-
Перезапустите GNOME Shell, чтобы убедиться, что настройка применена, нажав Alt+F2, введя
rи нажав Enter.
Часы на вашей панели должны теперь выглядеть так, как вы хотите!
Для версий GNOME до 46 (Ubuntu 24.04)*
На момент написания этого ответа расширение Panel Date Format от atareao, упомянутое в другом моем ответе, поддерживает версии GNOME до 44 (версии Ubuntu до 23.04). Если вы хотите форматировать дату и время, используя GNOME 45, вы можете использовать расширение Panel Date Format от KEIII вместо этого (расширения, к сожалению, имеют одинаковые названия, поэтому я использовал имена их авторов, чтобы различать их).
После установки этого расширения вы можете настроить дату и время на панели так, как хотите, запустив следующую команду:
dconf write /org/gnome/shell/extensions/panel-date-format/format "'%a %b %m %I:%M%p %Z %Y'"
Это расширение не имеет настроек, но изменение времени и даты с использованием вышеуказанной команды довольно просто: просто поместите желаемые спецификаторы формата внутрь "'...'". Расширение поддерживает спецификаторы формата, которые можно найти здесь: https://docs.gtk.org/glib/method.DateTime.format.html
*на момент написания
Для более простого расширения, которое использует gnome-clocks для определения интересующих вас часов, попробуйте Panel World Clock (Lite).
Вы добавляете интересующие вас часы через приложение «Часы».
И они будут добавлены в вашу верхнюю панель.
.
Ответ или решение
Вопрос о том, как изменить формат даты и времени в верхней панели GNOME Shell, является распространенной задачей для пользователей Ubuntu, особенно если нужно настроить систему под свои предпочтения или стандарты. В вашем случае, вы хотите изменить формат отображаемой даты и времени с "Jun 13 12:53 PM" на "Sun Jun 13 07:26AM IST 2021". В этой статье мы подробно рассмотрим, как этого достичь на Ubuntu 20.04 LTS, используя необходимые расширения и конфигурации.
Теория
GNOME Shell, как и многие другие современные графические окружения, позволяет расширять функциональные возможности с помощью различных расширений. В данном случае, для изменения формата отображения даты и времени, существует несколько подходов на основе расширений.
Одно из популярных расширений, которое позволяет настраивать формат даты и времени на верхней панели, называется Panel Date Format. Оно позволяет изменять формат времени с использованием специальных символов для форматирования, обеспечивая гибкость и удобство в настройке.
Пример
-
Установка расширений GNOME Shell:
- По умолчанию GNOME Shell не поддерживает возможность установки расширений из коробки. Для этого вам может понадобиться установить пакет
gnome-shell-extensionsи браузерное расширение GNOME. Перейдите на сайт GNOME Shell Extensions и следуйте инструкциям для установки необходимых компонентов.
- По умолчанию GNOME Shell не поддерживает возможность установки расширений из коробки. Для этого вам может понадобиться установить пакет
-
Установка и настройка Panel Date Format:
- Зайдите на страницу расширения Panel Date Format и установите его, используя интерфейс GNOME Extensions.
- Откройте приложение "Редактор конфигурации", чтобы убедиться, что расширение установлено корректно. Далее сделайте настройку через интерфейс.
- После установки, откройте приложение "Extensions" на вашем компьютере, найдите установленное расширение и нажмите на значок шестерёнки для входа в настройки.
-
Настройка формата:
- В открывшихся параметрах в текстовом поле "Format" введите следующий формат:
%a %e %b %I:%M%p %Z %Y. Это даст вам нужный формат даты и времени.
- В открывшихся параметрах в текстовом поле "Format" введите следующий формат:
Применение
Когда все установки завершены, необходимо перезапустить GNOME Shell для применения изменений. Это можно сделать нажатием комбинации клавиш Alt+F2, затем вводом команды r и нажатием Enter. После этого верхняя панель в GNOME Shell должна отобразить дату и время в настроенном вами формате.
Дополнительные ресурсы и внимание
Для версий GNOME выше 44 или на Ubuntu версий до 23.04, может понадобится другое расширение, как например Panel Date Format by KEIII. Настройка этого расширения производится через командную строку, используя dconf. Команда для изменения формата будет следующей:
dconf write /org/gnome/shell/extensions/panel-date-format/format "'%a %b %m %I:%M%p %Z %Y'"Это расширение не имеет интерфейса настроек, поэтому все действия проводятся через непосредственное редактирование конфигурации.
Заключение
Таким образом, изменение формата даты и времени в GNOME Shell на Ubuntu 20.04 LTS возможно благодаря использованию расширений, которые существенно расширяют базовые возможности системы. Инструменты, такие как Panel Date Format, противопоказаны определенной аудитории пользователей благодаря своей простой настройке и обширным возможностям кастомизации. Полная гибкость форматирования позволяет пользователям организовать рабочее пространство так, чтобы это соответствовало их личным или корпоративным стандартам, что особенно важно в профессиональной и бизнес-среде.